home *** CD-ROM | disk | FTP | other *** search
/ Night Owl 9 / Night Owl CD-ROM (NOPV9) (Night Owl Publisher) (1993).ISO / 032a / aifaq393.zip / AIFAQ393.TXT
Text File  |  1993-03-15  |  150KB  |  3,138 lines
  1. ·    Subject: FAQ: Artificial Intelligence Questions & Answers 1/4 [Monthly
  2. post
  3.  
  4. Archive-name: ai-faq/part1 Last-Modified: Fri Mar 12 12:36:34 1993 by Mark
  5. Kantrowitz Version: 1.4
  6.  
  7. ;;; **************************************************************** ;;;
  8. Answers to Questions about Artificial Intelligence ************* ;;;
  9. **************************************************************** ;;;
  10. Written by Mark Kantrowitz ;;; ai-faq-1.text -- 47389 bytes
  11.  
  12. If you think of questions that are appropriate for this FAQ, or would like
  13. to improve an answer, please send email to mkant+ai-faq@cs.cmu.edu.
  14.  
  15. *** Topics Covered:
  16.  
  17. Part 1: [1-0]  What is the purpose of this newsgroup? [1-1]  AI-related
  18.   Associations and Journals [1-4]  What are the rules for the game of
  19.   "Life"? [1-5]  What AI competitions exist? [1-8]  Commercial AI products.
  20.   [1-9]  Glossary of AI terms. [1-10] What are the top schools in AI?
  21.   [1-11] How can I get the email address for Joe or Jill Researcher?
  22.  
  23. Part 2 (AI-related Newsgroups and Mailing Lists): List of all known
  24.   AI-related newsgroups, mailing lists, and electronic bulletin board
  25.   systems.
  26.  
  27. Part 3 (Bibliography): Bibliography of introductory texts, overviews and
  28.   references Addresses and phone numbers for major AI publishers
  29.  
  30. Part 4 (FTP Resources): [4-0]  General Information about FTP Resources for
  31.   AI [4-1]  FTP Repositories [4-2]  FTP and Other Resources [4-3]  AI
  32.   Bibliographies available by FTP [4-4]  AI Technical Reports available by
  33.   FTP [4-5]  Where can I get a machine readable dictionary, thesaurus, and
  34.   other text corpora? [4-6]  List of Smalltalk implementations.
  35.  
  36. Search for [#] to get to question number # quickly.
  37.  
  38. *** Recent changes:
  39.  
  40. ;;;  3-FEB-93 mk    New mailing list, robot-boards@oberon.com. ;;;
  41. 3-FEB-93 mk    Added SCS and GASSY to 3-2, Genetic Algorithms, ;;;
  42. and VFSR to Simulated Annealing. ;;;  5-FEB-93 mk    Added FuzzyNet
  43. (Aptronix) email server to 3-1. ;;; 25-FEB-93 mk    Added YAPS entry to
  44. commercial products section. ;;; 10-MAR-93 mk    Added entry on new GA
  45. journal, Evolutionary Computing. ;;; 11-MAR-93 mk    Added Gordon Bell
  46. competition. 3 new cognitive ;;;                 science/psychology mailing
  47. lists. ;;; 12-MAR-93 mk    Part 1 was too big, so split out mailing lists
  48. and bboards ;;;                 into their own part, and renumbered all the
  49. parts. ;;; 12-MAR-93 mk    Added Simderella entry to part 4.
  50.  
  51.  
  52. *** Introduction:
  53.  
  54. Certain questions and topics come up frequently in the various network
  55. discussion groups devoted to and related to Artificial Intelligence (AI).
  56. This file/article is an attempt to gather these questions and their answers
  57. into a convenient reference for AI researchers. It is posted on a monthly
  58. basis. The hope is that this will cut down on the user time and network
  59. bandwidth used to post, read and respond to the same questions over and
  60. over, as well as providing education by answering questions some readers
  61. may not even have thought to ask.
  62.  
  63. The latest version of this file is available via anonymous FTP from CMU:
  64.  
  65.    To obtain the file from CMU, connect by anonymous ftp to any CMU CS
  66.    machine (e.g., ftp.cs.cmu.edu [128.2.206.173]), using username
  67.    "anonymous" and password "name@host". The files ai-faq-1.text,
  68.    ai-faq-2.text, ai-faq-3.text, and ai-faq-4.text are located in the
  69.    directory /afs/cs.cmu.edu/user/mkant/Public/AI/ [Note: You must cd to
  70.    this directory in one atomic operation, as some of the superior
  71.    directories on the path are protected from access by anonymous ftp.] If
  72.    your site runs the Andrew File System, you can just cp the file directly
  73.    without bothering with FTP.
  74.  
  75. The FAQ postings are also archived in the periodic posting archive on
  76. rtfm.mit.edu [18.172.1.27]. Look in the anonymous ftp directory
  77. /pub/usenet/news.answers/ in the subdirectory ai-faq/. If you do not have
  78. anonymous ftp access, you can access the archive by mail server as well.
  79. Send an E-mail message to mail-server@rtfm.mit.edu with "help" and "index"
  80. in the body on separate lines for more information.
  81.  
  82. ---------------------------------------------------------------- Subject:
  83. [1-0] What is the purpose of this newsgroup?
  84.  
  85. The newsgroup comp.ai exists for general discussion of topics related to
  86. Artificial Intelligence. For example, possible topics can include (but are
  87. not necessarily limited to): announcements of AI books and products
  88. discussion of AI programs and tools questions about AI techniques problems
  89. implementing an AI technique Postings should be of general interest to the
  90. AI community. See also part 2 of the FAQ for a list of other more
  91. specialized discussion lists.
  92.  
  93. We've tried to minimize the overlap with the FAQ postings to the
  94. comp.lang.lisp, comp.lang.prolog and comp.ai.neural-nets newsgroups, so if
  95. you don't find what you're looking for here, we suggest you try the FAQs
  96. for those newsgroups. These FAQs should be available by anonymous ftp from
  97. rtfm.mit.edu (18.172.1.27) in subdirectories of /pub/usenet/ or by sending
  98. a mail message to mail-server@rtfm.mit.edu with subject "help".
  99.  
  100. The Lisp FAQ is also available by anonymous ftp from the same ftp location
  101. as the AI FAQ and from ftp.think.com:/public/think/lisp/.
  102.  
  103. Information about Prolog may be obtained from two sources: The Prolog FAQ,
  104. which is posted twice a month to the newsgroup comp.lang.prolog by Jamie
  105. Andrews <jamie@cs.sfu.ca>, and the Prolog Resource Guide, which is posted
  106. to the newsgroup comp.lang.prolog once a month, and is available by
  107. anonymous ftp from ftp.cs.cmu.edu [128.2.206.173] as the file
  108. /afs/cs.cmu.edu/user/mkant/Public/AI/prolog-resource-guide.txt.
  109.  
  110. The Robotics FAQ is available by anonymous ftp from ftp.cs.cmu.edu
  111. [128.2.206.173] in the directory /user/nivek/robotics-faq as the files
  112. part1 and part2. To obtain a copy by email, send a message to
  113. mail-server@pit-manager.mit.edu containing the following lines: send
  114. usenet/news.answers/robotics-faq/part1 send
  115. usenet/news.answers/robotics-faq/part2 On UUCP, it is available at
  116. uunet!/archive/usenet/news.answers/robotics-faq/ as the files part1.Z and
  117. part2.Z (or by ftp from ftp.uu.net [137.39.1.9] in
  118. /archive/usenet/news.answers/robotics-faq/).
  119.  
  120. Information about object-oriented programming can be obtained in the
  121. newsgroups comp.object, comp.lang.clos, and comp.lang.smalltalk.
  122. Information about object-oriented databases can be obtained in the survey
  123. compiled by Stewart Clamen, which may be found either in the comp.object
  124. FAQ posting or in byron.sp.cs.cmu.edu:clamen/evolution-summary
  125.  
  126. ---------------------------------------------------------------- Subject:
  127. [1-1]  AI-related Associations and Journals
  128.  
  129. Associations:
  130.  
  131.    AMERICAN ASSOCIATION FOR ARTIFICIAL INTELLIGENCE (AAAI) AAAI, 445
  132.    Burgess Drive, Menlo Park, CA 94025. @DATAPHONE@   415-328-3123,
  133.    info@aaai.org, membership@aaai.org Membership includes AI Magazine: $40
  134.    regular, $20 student (US/Canadian) $65 regular, $45 student (Foreign)
  135.    AAAI has several special interest groups (SIGs), including one on
  136.    manufacturing and one on medicine.
  137.  
  138.    ASSOCIATION FOR COMPUTING MACHINERY (ACM) ACM, 1515 Broadway, New York,
  139.    NY 10036. Member Services, 11 West 42nd Street, New York, NY 10036.
  140.    212-869-7440. Fax 212-944-1318. Email: acmhelp@acmvm.bitnet. $75
  141.    regular, $22 student (includes Communications of the ACM) $15 ($8
  142.    students) extra for SIGART membership (gets Sigart Bulletin) $12 ($7
  143.    students) extra for Lisp Pointers. $15 ($10 students) extra for
  144.    Computing Surveys $34 ($29 students) extra for Computing Reviews
  145.  
  146.    INTERNATIONAL ASSOCIATION OF KNOWLEDGE ENGINEERS (IAKE) IAKE, 11820
  147.    Parklawn Drive, Suite 302, Rockville, MD 20852. 301-231-7826 $65
  148.    regular, $30 students.
  149.  
  150.    ASSOCIATION FOR COMPUTATIONAL LINGUISTICS (ACL) Natural language
  151.    processing research and applications. Members receive a free copy of the
  152.    journal Computational Linguistics, ISSN 0891-2017. Regular membership
  153.    $25 ($15 students), $10 extra for first class/air postage in North
  154.    America, $20 elsewhere. For more information write to Dr. Donald E.
  155.    Walker (ACL), Bellcore, MRE 2A379, 445 South Street, Box 1910,
  156.    Morristown, NJ 07960-1910, USA, call 201-829-4312 or send email to
  157.    walker@flash.bellcore.com. Institutions must subscribe to the journal
  158.    through MIT Press Journals, 55 Hayward Street, Cambridge, MA 02142,
  159.    616-253-2889.
  160.  
  161.    INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS (IEEE) IEEE Service
  162.    Center, 445 Hoes Lane, PO Box 1331, Piscataway, NJ 08855.
  163.    1-800-678-IEEE, 201-981-0060 IEEE membership is $95 regular ($23
  164.    students) For membership in the IEEE Computer Society, add $22. $20 for
  165.    IEEE Expert (Intelligent Systems and their Applications) $12 for
  166.    Transactions on Neural Networks $12 for Transactions on Systems, Man and
  167.    Cybernetics $15 for Transactions on Robotics and Automation $19 for
  168.    Transactions on Knowledge and Data Engineering
  169.  
  170.    $24 for Transactions on Pattern Analysis and Machine Intelligence
  171.  
  172.    INTERNATIONAL SOCIETY OF APPLIED INTELLIGENCE (ISAI) Membership includes
  173.    a journal subscription. To apply contact forsyth@fencer.cis.dsto.gov.au.
  174.    Working groups include CIM -- Learning in Intelligent Manufacturing
  175.    Systems, Automatic Failure Diagnostics, Production Management, Finance,
  176.    Building Architecture, Scheduling and Planning.
  177.  
  178.    COGNITIVE SCIENCE SOCIETY Membership: $50 individuals, $25 student. Add
  179.    $15 overseas postage. Members receive a copy of the journal Cognitive
  180.    Science without additional charge. Write to Alan Lesgold,
  181.    Secretary/Treasurer, Cognitive Science Society, LRDC, University of
  182.    Pittsburgh, 3939 O'Hara Street, Pittsburgh, PA 15260, fax
  183.    1-412-624-9149, email al+@pitt.edu.
  184.  
  185.    INTERNATIONAL FUZZY SYSTEMS ASSOCIATION (IFSA) Membership $180, includes
  186.    a subscription to the International Journal of Fuzzy Sets and Systems,
  187.    ISSN 0165-0114. Write to Prof. Philippe Smets, University of Brussels,
  188.    IRIDIA, 50 av. F. Roosevelt, CP 194/6, 1050 Brussels, Belgium.
  189.  
  190.    SOCIETY FOR MACHINES AND MENTALITY James H. Moor, Treasurer, Society for
  191.    Machines and Mentality, Department of Philosophy, Dartmouth College,
  192.    6035 Thornton Hall, Hanover, NH 03755-3592 U.S.A. 603-646-2155.  Email:
  193.    James.H.Moor@Dartmouth.edu $5 Membership only $50 Membership with
  194.    subscription to _Minds and Machines_
  195.  
  196.    CSCSI (Canadian AI Society) c/o CIPS, 430 King Street West, Suite 205,
  197.    Toronto, Ontario M5V 1L5 416-593-4040
  198.  
  199.    JSAI (Japanese Association for Artificial Intelligence) OS Bldg. Suite
  200.    #402 4-7 Tsukudo-cho, Shinjuku-ku Tokyo 162 Japan Phone:
  201.    +81-3-5261-3401 Telfax:  +81-3-5261-3402
  202.  
  203.    INNS (International Neural Network Society) Membership is $55/year for
  204.    non-students and $45/year for students, and includes a subscription to
  205.    "Neural Networks", the official journal of the society. INNS Membership,
  206.    P.O. Box 491166, Ft. Washington, MD 20749
  207.  
  208.    ISSNNets (International Student Society for Neural Networks) Membership
  209.    is $5 per year. ISSNNet, Inc., P.O. Box 15661, Boston, MA 02215 See also
  210.    comp.org.issnnet.
  211.  
  212.    JNNS (Japanese Neural Network Society) Department of Engineering,
  213.    Tamagawa University, 6-1-1, Tamagawa Gakuen, Machida City, Tokyo, 194
  214.    JAPAN Phone: +81 427 28 3457 Fax:   +81 427 28 3597
  215.  
  216.    AIIA (Artificial Intelligence Italian Association) c/o Fondazione Ugo
  217.    Borboni, Roma - Italy Contact: Oliviero Stock <stock@irst.it> Tel: +39 6
  218.    54803428 Fax: +39 6 54804405
  219.  
  220. Newsletters:
  221.  
  222.    The Computists' Communique is a weekly online newsletter for AI/IS/CS
  223.    scientists.  It covers research and funding news; career, consulting,
  224.    and entrepreneurial issues; AI-related job postings and journal calls;
  225.    FTPable & other resource leads; market trends; analysis and discussion.
  226.    The Communique serves members of Computists International, a
  227.    professional mutual-aid society.  Membership in Computists International
  228.    runs $135 for new professional members, $55 for students and the
  229.    unemployed. There is a 25% discount for Canada, Western Europe, the UK,
  230.    Japan, and Australia; other countries and territories outside the U.S.
  231.    get a 50% discount.  For more information, contact Dr. Kenneth I. Laws
  232.    (laws@ai.sri.com), 415-493-7390, 4064 Sutherland Drive, Palo Alto, CA
  233.    94303.
  234.  
  235. Note: Some Journals are listed with the publishing organization above.
  236.  
  237. Journals -- General:
  238.  
  239.    JOURNAL OF COMPUTATIONAL INTELLIGENCE Published 4 times annually. ISSN
  240.    0824-7935 Basil Blackwell Publishers, Journal Subscription Department, 3
  241.    Cambridge Centre, Cambridge, MA 02142 or call 1-800-835-6770. Blackwell
  242.    Publishers, 108 Cowley Road, Oxford, OX4 1JF, England. Individual
  243.    subscriptions are $85 in North America and $100 in the rest of the
  244.    world. Institutional subscriptions are $175 and $190, respectively. A
  245.    reduced rate of $40 is available to members of the Canadian Information
  246.    Processing Society.
  247.  
  248.    ARTIFICIAL INTELLIGENCE REVIEW (Survey and Tutorial Journal) Kluwer
  249.    Academic Publishers, 101 Philip Drive, Norwell, MA 02061, 617-871-6600,
  250.    fax 617-871-6528. PO Box 358, Accord Station, Hingham, MA 02018-0358.
  251.    Email: kluwer@world.std.com The institutional subscription rate is $130
  252.    per volume (4 issues).
  253.  
  254.    ARTIFICIAL INTELLIGENCE Published 18 times annually. ISSN 0004-3702. $80
  255.    individuals (must be a member of one of the major AI societies). To
  256.    order in the US, write to AAAI, AI Journal, 445 Burgess Drive, Menlo
  257.    Park, CA 94025-3496, or to Elsevier Science Publishing, 655 Avenue of
  258.    the Americas, New York, NY 10017, 212-633-3827. Outside the US, contact
  259.    Elsevier Science Publishers, Attn: Ursula van Dijk, PO Box 103, 1000 AC
  260.    Amsterdam, The Netherlands, or call +31-20-5862-608.
  261.  
  262.    COGNITIVE SCIENCE Ablex Publishing Company, 355 Chestnut Street,
  263.    Norwood, NJ 07648 201-767-8450, fax 201-767-6717 $50 individual, $125
  264.    institution.
  265.  
  266.    JOURNAL OF EXPERIMENTAL AND THEORETICAL ARTIFICIAL INTELLIGENCE (JETAI)
  267.    Annual subscription, 1992/3, $163; personal subscription, $82. To order
  268.    in the US, write to Taylor and Francis, Inc., 1900 Frost Road, Suite
  269.    101, Bristol, PA 19007-1598.  Or contact the home office: Taylor and
  270.    Francis Ltd, Rankine Road, Basingstoke, Hampshire, UK RG24 0PR (0256)
  271.    840366. ISSN 0952-813X
  272.  
  273.    SPANG ROBINSON REPORT ON INTELLIGENT SYSTEMS Published monthly. ISSN
  274.    0885-9957. Subscriptions: $405 US & Canada, $455 elsewhere. John Wiley
  275.    and Sons, Inc., 605 Third Avenue, New York, NY 10158-0012, 212-850-6347,
  276.    fax 212-850-6088.
  277.  
  278.    MINDS AND MACHINES Journal for Artificial Intelligence, Philosophy, and
  279.    Cognitive Science ISSN 0924-6495 Subscription information and sample
  280.    copies available from: Kluwer Academic Publishers Group, P.O. Box 322,
  281.    3300 AH Dordrecht, The Netherlands. In the US, write to Kluwer Academic
  282.    Publishers, 101 Philip Drive, Norwell, MA 02061.
  283.  
  284.    COMPUTERS AND ARTIFICIAL INTELLGIENCE I. Plander (ed.) VEDA Publishing
  285.    House of the Slovak Academy of Sciences, Klemenosova 19, 814 30
  286.    Bratislava, Czechoslovakia. Published bimonthly, order from: Lange &
  287.    Springer GmbH, Foller Str.2, P.O.B. 10 16 10, 5000 Koln 1, Germany.
  288.  
  289.    INTERNATIONAL JOURNAL OF AI TOOLS World Scientific Publishing Co., Inc.
  290.    1060 Main Street, River Edge, NJ 07661 Tel: 1-800-227-7562
  291.  
  292. Organizations -- Robotics Related:
  293.  
  294.    For a list of organizations that are robotics related, see the FAQ
  295.    posting for comp.robotics, maintained by Kevin Dowling
  296.    <nivek@cs.cmu.edu>.
  297.  
  298. Journals -- Applied AI:
  299.  
  300.    APPLIED ARTIFICIAL INTELLIGENCE Published 4 times annually. ISSN
  301.    0883-9514 Subscriptions: Institutions $176; Individuals $84. Hemisphere
  302.    Publishing Corp., 1900 Frost Rd., Suite 101, Bristol, PA 19007
  303.    215-785-5800, fax 215-785-5515. (in the UK, write to Taylor & Francis
  304.    Ltd., Rankine Rd., Baskingstoke, Hampshire RG24 0PR, UK, call
  305.    +44-256-840366, or fax +44-256-479438)
  306.  
  307.    APPLIED INTELLIGENCE The International Journal of Artificial
  308.    Intelligence, Neural Networks, and Complex Problem-Solving Technologies
  309.    Subscriptions: Institutions $217; Individuals $75. Editor in Chief: Dr.
  310.    Moonis Ali, Professor of Computer Science, The University of Tennessee
  311.    Space Institute, Tullahoma, TN 37388 Publisher: Kluwer Academic
  312.    Publishers, P.O. Box 358, Accord Station, Hingham, MA 02018-0358,
  313.    <kluwer@world.std.com>.
  314.  
  315. Journals -- Automated Reasoning:
  316.  
  317.    JOURNAL OF AUTOMATED REASONING Published 6 times annually. ISSN
  318.    0168-7433 Subscriptions: Individuals $131; Institutions $263; AAR
  319.    members $65. Kluwer Academic Publishers, PO Box 322, 3300 AH Dordrecht,
  320.    The Netherlands, or Kluwer Academic Publishers, PO Box 358, Accord
  321.    Station, Hingham, MA 02018-0358.
  322.  
  323. Journals -- Engineering:
  324.  
  325.    ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE Published 6 times
  326.    annually. Subscriptions: Institutions (1992)  235.00 or approx
  327.    US$425.00; two year institutional rate (1992/93)  446.50 or approx
  328.    US$807.50.
  329.  
  330.    North America: Pergamon Press Inc., 660 White Plains Road, Tarrytown, NY
  331.    10591-55153, USA. Rest of the World: Pergamon Press Ltd, Headington Hill
  332.    Hall, Oxford OX3 0BW, England. Tel: Oxford (0865)794141
  333.  
  334. Journals -- Expert Systems:
  335.  
  336.    EXPERT SYSTEMS WITH APPLICATIONS Published 4 times annually. ISSN
  337.    0957-4174. Subscriptions: Institutions L85 ($155), Individuals L45
  338.    ($72). Pergamon Press Inc., 660 White Plains Road, Tarrytown, NY
  339.    10591-5153, email PPI@pergamon.com, or Pergamon Press Ltd., Headington
  340.    Hill Hall, Oxford OX3 0BW, England.
  341.  
  342.    EXPERT SYSTEMS: THE INTERNATIONAL JOURNAL OF KNOWLEDGE ENGINEERING
  343.    Published 4 times annually. ISSN 0266-4720. Subscriptions: L85 ($110)
  344.    Learned Information Ltd., Woodside, Hinksey Hill, Oxford OX1 5AU, UK.
  345.    Tel: +44 (0)865-730275  Fax: +44 (0)085-736354
  346.  
  347.    INTERNATIONAL JOURNAL OF EXPERT SYSTEMS Published 4 times annually. ISSN
  348.    0894-9077. Subscriptions: Institutions $135; Individuals $75. Outside
  349.    the US add $10 for surface mail and $20 for airmail. JAI Press Inc., 55
  350.    Old Post Road -- No. 2, PO Box 1678, Greenwich, CT 06836-1678.
  351.  
  352. Journals -- Genetic Algorithms:
  353.  
  354.    EVOLUTIONARY COMPUTATION Published 4 times annually, beginning April/May
  355.    1993. 100 pages per issue, 7x10. ISSN 1063-6550 Editor-in-chief: Kenneth
  356.    De Jong Subscription Rates: Individuals $45 ($63.13 Canada, $59
  357.    elsewhere), Institutions $120.00 ($143.38 Canada, $134.00 elsewhere),
  358.    and Students/Retired $30.00 ($47.08 Canada, $44.00 elsewhere). MIT Press
  359.    Journals, 55 Hayward Street, Cambridge, MA 02142-1399, 617-253-2889, fax
  360.    617-258-6779, E-mail hiscox@mitvma.mit.edu.
  361.  
  362. Journals -- Machine Learning:
  363.  
  364.    MACHINE LEARNING Published 8 times annually. ISSN 0885-6125
  365.    Subscriptions: Institutions $301; Individuals $140. (AAAI Individual
  366.    Members $88) Kluwer Academic Publishers, PO Box 322, 3300 AH Dordrecht,
  367.    The Netherlands, or Kluwer Academic Publishers, PO Box 358, Accord
  368.    Station, Hingham, MA 02018-0358.
  369.  
  370. Journals -- NLP/Speech/MT:
  371.  
  372.    COMPUTER SPEECH AND LANGUAGE Published 4 times annually. ISSN 0885-2308.
  373.    Subscriptions: Institutions $136, Individuals $58. Academic Press Ltd.,
  374.    24-28 Oval Road, London NW1, England.
  375.  
  376.    MACHINE TRANSLATION Published 4 times annually. ISSN 0922-6567.
  377.    Subscriptions: Institutions $141 plus $16 postage; Individuals $55
  378.    (members of ACL $46). Kluwer Academic Publishers, PO Box 322, 3300 AH
  379.    Dordrecht, The Netherlands, or Kluwer Academic Publishers, PO Box 358,
  380.    Accord Station, Hingham, MA 02018-0358.
  381.  
  382. Journals -- Neural Nets/Connectionism:
  383.  
  384.    CONNECTION SCIENCE Published 4 times annually. ISSN 0954-0091.
  385.    Subscriptions: Individual $82, Institution $184, Institution (UK) 74
  386.    pounds Carfax Publishing Company, PO Box 25, Abingdon, Oxfordshire OX14
  387.    3UE, UK.
  388.  
  389.    THE INTERNATIONAL JOURNAL OF NEURAL NETWORKS RESEARCH & APPLICATIONS
  390.    Published quarterly. ISSN 0954-9889. Learned Information Ltd., Woodside,
  391.    Hinksey Hill, Oxford OX1 5AU, UK. Tel: +44 (0)865-730275  Fax: +44
  392.    (0)085-736354
  393.  
  394.    INTERNATIONAL JOURNAL OF NEURAL SYSTEMS Published quarterly. ISSN
  395.    0129-0657 Subscriptions: Individual $42, Institution $88 (plus $9-$17
  396.    for postage) USA: World Scientific Publishing Co., 687 Hartwell Street,
  397.    Teaneck, NJ 07666, 201-837-8858; Eurpoe: World Scientific Publishing Co.
  398.    Pte. Ltd., 73 Lynton Mead, Totteridge, London N20-8DH, England, (01)
  399.    4462461; Other: World Scientific Publishing Co. Pte. Ltd., Farrer Road,
  400.    P.O. Box 128, Singapore 9128, 2786188.
  401.  
  402.    NEURAL COMPUTING AND APPLICATIONS Published quarterly. Official journal
  403.    of the Neural Computing Applications Forum. Subscriptions: #120 per
  404.    annum. (Free to NCAF members.) Springer Verlag, Service Center Secaucus,
  405.    44 Hartz Way, Secaucus, NJ 07094 Tel: 201-348-4033 Springer-Verlag,
  406.    Springer House, 8 Alexandra Road, LONDON SW19 7JZ Tel: ..44/0 81 947
  407.    1280  Fax: 0 81 947 1274 Spqringer-Verlag, Heidelberger Platz 3, D-1000
  408.    BERLIN, Germany Tel: (0)30 8207-1
  409.  
  410.    NEURAL COMPUTATION Published quarterly since 1989. ISSN 0899-7667. MIT
  411.    Press Journals, 55 Hayward Street Cambridge, MA 02142-9949, 617-253-2889
  412.    Subscriptions: Individual $45, Institution $90, Students $35. Add $9 for
  413.    foreign subscriptions.
  414.  
  415.    NEURAL NETWORKS Published 6 times annually. ISSN 0893-6080. Official
  416.    journal of the International Neural Network Society. Subscriptions: $380
  417.    Pergamon Press, Ltd., Headington Hill Hall, Oxford OX3 0BW, UK. Pergamon
  418.    Press, Inc., 660 White Plains Road, Tarrytown, NY 10591-5153.
  419.  
  420. Journals -- Pattern Recognition:
  421.  
  422.    INTERNATIONAL JOURNAL OF PATTERN RECOGNITION AND ARTIFICIAL INTELLIGENCE
  423.    Annual subscription, 1992/3, $340; individual subscription, $138. Add
  424.    $34 for airmail. Published 5 times a year by World Scientific Publishing
  425.    Co. Pte. Ltd., Farrer Road, PO Box 128, Singapore 9128. (In the US,
  426.    write to World Scientific Publishing Co., Inc., River Edge, NJ 07661; in
  427.    Europe to World Scientific Publishing Co., Inc., Totteridge, London N20
  428.    8DH, England.)
  429.  
  430.    PATTERN RECOGNITION Journal of the Pattern Recognition Society. Members
  431.    receive the journal free of charge as part of their membership in the
  432.    Society. Institutions may subscribe for $845. Pergamon Press, Ltd.,
  433.    Headington Hill Hall, Oxford OX3 0BW, UK. Pergamon Press, Inc., 660
  434.    White Plains Road, Tarrytown, NY 10591-5153.
  435.  
  436.    PATTERN RECOGNITION LETTERS Published 12 times annually. ISSN 0167-8655.
  437.    Official publication of the International Association for Pattern
  438.    Recognition. Subscriptions: $462 Institutions. Elsevier Science
  439.    Publishing, 655 Avenue of the Americas, New York, NY 10017,
  440.    212-633-3827. Outside the US, contact Elsevier Science Publishers, Attn:
  441.    Ursula van Dijk, PO Box 103, 1000 AC Amsterdam, The Netherlands, or call
  442.    +31-20-5862-608.
  443.  
  444. Journals -- Robotics:
  445.  
  446.    INDUSTRIAL ROBOT ISSN 0143-991X Published quarterly. $145/year MCB
  447.    University Press Limited, 62 Toller Lane, Bradford, West Yorkshire,
  448.    England BD8 9BY, (44) 274-499821, fax (44) 274-547143. In the US, write
  449.    to MCB University Press Limited, PO Box 10812, Birmingham, AL
  450.    35201-0812, 1-800-633-4931 (1-205-995-1567), fax 1-205-995-1588.
  451.  
  452.    INTERNATIONAL JOURNAL OF ROBOTICS AND AUTOMATION Published 4 times
  453.    annually. ISSN 0826-8185 Subscriptions: $165 US or 313.50 SFr. ($12 US
  454.    or 22.80 SFr postage and handling). A special rate is available to
  455.    members of IASTED. Write to ACTA Press, PO Box 354, CH-8053, Zurich,
  456.    Switzerland or ACTA Press, PO Box 2481, Anaheim, CA 92814. IASTED is the
  457.    International Association of Science and Technology for Development.
  458.    Individual memberships are $60 US or $120 SFr and corporate memberships
  459.    $100 US or $200.00 SFr. Members receive a complimentary subscription to
  460.    the journal of their choice; the annual cost of additional journals for
  461.    members is $20US/$40SFr per journal. Write to IASTED, PO Box 25, Station
  462.    G, Calgary, Alberta, Canada T3A 2G1, or IASTED, PO Box 354, CH-8053,
  463.    Zurich, Switzerland.
  464.  
  465.    INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH MIT Press, 28 Carleton
  466.    Street, Cambridge, MA 02142 Subscriptions: $50/year to individuals
  467.  
  468.    JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS Three issues per volume, $58.50
  469.    per volume (individual) Kluwer Academic Publishers Group, PO Box 322,
  470.    3300 AH Dordrecht, The Netherlands. In the US write to Kluwer Academic
  471.    Publishers, PO Box 358, Accord Station, Hingham, MA 02018-0358.
  472.  
  473.    ROBOTICS TODAY Society of Manufacturing Engineers, One SME Drive, PO Box
  474.    930, Dearborn, MI 48121. 313-271-1500
  475.  
  476.    ROBOTICS WORLD Published quarterly. Communication Channels, 6255
  477.    Barfield Road, Atlanta, GA 30328 404-256-9800 A magazine of flexible
  478.    automation for the end-user. They also publish the Robotics World
  479.    Directory for $49.95
  480.  
  481.    ROBOT (Japanese) Industrial Robots and Application Systems Published
  482.    bimonthly. Japan Industrial Robot Association (JIRA) Kikai-Shinko
  483.    Building, 3-5-8, Shiba-Kohen, Mina To-ku, Tokyo, Japan Tokyo (03)
  484.    3434-2919, fax (03) 3578-1404
  485.  
  486.    ROBOTICA International Journal of Information, Education and Research
  487.  
  488.    in Robotics and Artificial Intelligence. Published quarterly, US
  489.    $179/year. Cambridge University Press, The Edinburgh Building,
  490.    Shaftesbury Road, Cambridge CB2 2RU, UK. In the US write to Cambridge
  491.    University Press, Journals Department, 40 West 20th Street, New York, NY
  492.    10011-4211.
  493.  
  494. Journals -- User Modeling:
  495.  
  496.    USER MODELING AND USER-ADAPTED INTERACTION 4 issues per annum, ISSN
  497.    0924-1868, $153.50 p.a. ($50 for individuals) Kluwer Academic Publishers
  498.    Group, P.O. Box 322, 3300 AH Dordrecht, The Netherlands.
  499.  
  500. Journals -- Virtual Reality:
  501.  
  502.    PRESENCE Subscriptions: $50 individual, $120 institutions, $40
  503.    students/retired (higher rates for Canada and overseas) MIT Press
  504.    Journals 55 Hayward Street, Cambridge, MA  02142-1399 617-253-2889, fax
  505.    617-258-6779 hiscox@mitvma.mit.edu
  506.  
  507. Journals -- Vision:
  508.  
  509.    MACHINE VISION AND APPLICATIONS Published 4 times annually. ISSN
  510.    0932-8092. Subscriptions: Institutions $106 (plus $11 p&h); Individuals
  511.    $54 (incl p&h). Springer-Verlag New York Inc., Journal Fulfillment
  512.    Services, 44 Hartz Way, Secaucus, NJ 07094, 1-800-SPRINGER.
  513.  
  514.    INTERNATIONAL JOURNAL OF COMPUTER VISION Published 6 times annually.
  515.    ISSN 0920-5691. Subscriptions: Institutions $229; Individuals $115. Add
  516.    $8 for airmail. Kluwer Academic Publishers, PO Box 322, 3300 AH
  517.    Dordrecht, The Netherlands, or Kluwer Academic Publishers, PO Box 358,
  518.    Accord Station, Hingham, MA 02018-0358.
  519.  
  520. Other Journals and Magzines: If you have the subscription information for
  521.    the following, please send a message with that information to
  522.    mkant+ai-faq@cs.cmu.edu.
  523.  
  524.    Journals:
  525.  
  526.    Behavioral and Brain Sciences Brain and Cognition Brain and Language
  527.    Cognition Cognition and Brain Theory Cognitive Psychology Computer
  528.    Vision, Graphics, and Image Processing Human Intelligence IEEE
  529.    Transactions on Fuzzy Sets and Systems ? International Journal of
  530.    Man-Machine Studies Journal of the Association for the Study of
  531.    Perception Journal of Intelligent Systems Journal of Intelligent &
  532.    Robotic Systems Journal of Logic Programming Journal of Symbolic
  533.    Computing New Generation Computing (logic programming) Speech Technology
  534.  
  535.    Magazines:
  536.  
  537.    AISB Newsletter Annual Review in Automatic Programming Artificial
  538.    Intelligence Report IEEE Control Systems Magazine (often has articles
  539.    about NNs and fuzzy systems) Robotics Age
  540.  
  541. ---------------------------------------------------------------- Subject:
  542. [1-4]  What are the rules for the game of "Life"?
  543.  
  544. Cellular Automata, of which Life is an example, were suggested by Stanislaw
  545. Ulam in the 1940s, and first formalized by von Neumann. Conway's "Game of
  546. Life" was popularized in Martin Gardner's mathematical games column in the
  547. October 1970 and February 1971 issues of Scientific American.  (Shorter
  548. notes on life are alse given in the column in each month from October 1970
  549. to April 1971, and well as November 1971, January 1972, and December 1972.)
  550. There's also quite a bit on the game in "The Recursive Universe", by
  551. William Poundstone, Oxford University Press, 1987, 252 pages.
  552.  
  553. The rules for the game of life are quite simple. The game board is a
  554. rectangular cell array, with each cell either empty or filled. At each tick
  555. of the clock, we generate the next generation by the following rules:
  556.  
  557.         if a cell is empty, fill it if 3 of its neighbors are filled
  558.         (otherwise leave it empty)
  559.  
  560.         if a cell is filled, it dies of loneliness if it has 1 or fewer
  561.                 neighbors continues to live if it has 2 or 3 neighbors dies
  562.                 of overcrowding if it has more than 3 neighbors
  563.  
  564. Neighbors include the cells on the diagonals. Some implementations use a
  565. torus-based array (edges joined top-to-bottom and left-to-right) for
  566. computing neighbors.
  567.  
  568. For example, a row of 3 filled cells will become a column of 3 filled cells
  569. in the next generation. The R pentomino is an interesting pattern: xx xx x
  570. Try it with other patterns of 5 cells initially occupied. If you record the
  571. ages of cells, and map the ages to colors, you can get a variety of
  572. beautiful images.
  573.  
  574. When implementing Life, be sure to maintain separate arrays for the old and
  575. new generation. Updating the array in place will not work correctly.
  576. ---------------------------------------------------------------- Subject:
  577. [1-5]  What AI competitions exist?
  578.  
  579. The Loebner Prize, based on a fund of over $100,000 established by New York
  580. businessman Hugh G. Loebner, is awarded annually for the computer program
  581. that best emulates natural human behavior. During the contest, a panel of
  582. independent judges attempts to determine whether the responses on a
  583. computer terminal are being produced by a computer or a person, along the
  584. lines of the Turing Test. The designers of the best program each year win a
  585. cash award and a medal. If a program passes the test in all its
  586. particulars, then the entire fund will be paid to the program's designer
  587. and the fund abolished. For further information about the Loebner Prize,
  588. write Dr. Robert Epstein, Executive Director, Cambridge Center for
  589. Behavioral Studies, 11 Waterhouse Street, Cambridge, MA 02138, or call
  590. 617-491-9020.
  591.  
  592. The BEAM Robot Olympics is a robot exhibition/competition started in 1991.
  593. For more information about the competition, write to BEAM Robot Olympics,
  594. c/o: Mark W. Tilden, MFCF, University of Waterloo, Ontario, Canada,
  595. N2L-3G1, 519-885-1211 x2454, mwtilden@watmath.uwaterloo.ca.
  596.  
  597. The Gordon Bell Prize competition recognizes outstanding achievements in
  598. the application of parallel processing to practical scientific and
  599. engineering problems. Entries are considered in performance,
  600. price/performance, compiler parallelization and speedup categories, and a
  601. total of $3,000 will be awarded. The prizes are sponsored by Gordon Bell, a
  602. former National Science Foundation division director who is now an
  603. independent consultant.  Contestants should send a three- or four-page
  604. executive summary to 1993 Gordon Bell Prize, c/o Marilyn Potes, IEEE
  605. Computer Society, 10662 Los Vaqueros Cir., PO Box 3014, Los Alamitos, CA
  606. 90720-1264, before May 31, 1993.
  607.  
  608. ---------------------------------------------------------------- Subject:
  609. [1-8] Commercial AI products.
  610.  
  611. See the Robotics FAQ for information on Robotics manufacturers.
  612.  
  613. GBB, generic blackboard framework: provides: -- A high-performance
  614.  blackboard database compiler and runtime library, which support
  615.  pattern-based, multidimensional range-searching algorithms for efficient
  616.  proximity-based retrieval of blackboard objects -- KS representation
  617.  languages -- Generic control shells and agenda-management utilities --
  618.  Interactive, graphic displays for monitoring and examining blackboard and
  619.  control components These components provide the infrastructure needed to
  620.  build blackboard-based applications.  GBB is available for DOS/Windows,
  621.  Mac, Unix workstations (Sun, HP/Apollo, IBM, DEC, Silicon Graphics),
  622.  Symbolics and TI Explorer Lisp machines.  (GBB is a significantly
  623.  enhanced, commercial version of the UMass GBB research framework,
  624.  available via FTP as described in FAQ, part 3.) NetGBB, distributed
  625.  extension to GBB: provides to GBB the communication and coordination
  626.  facilities needed to build heterogenous distributed blackboard
  627.  applications. For more information write to Blackboard Technology Group,
  628.  Inc., 401 Main Street, Amherst, MA  01002, call 413-256-8990, or fax
  629.  413-256-3179. To be added to the mailing lists, send mail to
  630.  gbb-user-request@bn.cs.umass.edu. There are two mailing lists, gbb-user
  631.  (moderated) and gbb-users (unmoderated).
  632.  
  633.  
  634. RAL (Rule-extended Algorithmic Language) is a C-based RETE (OPS83)
  635. implementation that allows one to seamlessly add rules and objects to C
  636. programs. It runs on Apollo, Sony News, AT&T 3B series, Aviion, DecStation,
  637. HP9000, RS/6000, Sun3, Sparc, Pyramid, Stratus, Unix System V 386 machines,
  638. VAX, microVAX (VMS) and DOS. Production Systems Technologies was founded by
  639. Charles Forgy, the original inventor of the RETE algorithm.  For further
  640. information, write to Production Systems Technologies, Inc., 5001 Baum
  641. Boulevard, Pittsburgh, PA 15213, call 412-683-4000 or fax 412-683-6347.
  642.  
  643.  
  644. Stiquito is a small (3cm H x 7cm W x 6cm L), simple (32 parts) and
  645. inexpensive (< $30) nitinol-propelled hexapod robot developed at the
  646. Indiana University (Bloomington) Robotics Laboratory.  Its legs are
  647. propelled by nitnol actuator wires. Each leg has one degree of freedom.
  648.  
  649. The robot walks up to 10 centimeters per minute and can carry a 9-volt
  650. cell, a MOSIS "tiny chip" and power transistors to drive the nitinol
  651. actuator wires. Nitinol wire (aka BioMetal, Flexinol), is a nickel-titanium
  652. alloy which exerts useful force as it is heated by passing a current
  653. through it. IUCS Technical Report 363a describes Stiquito's construction
  654. and is available by anonymous ftp from cs.indiana.edu:/pub/stiquito
  655. (129.79.254.191) as are many other related files.  The tech report is also
  656. available by US mail for $5 (checks or money orders should be made payable
  657. to "Indiana University") from Computer Science Department, Attn: TR 363a
  658. 215, Lindley Hall, Indiana University, Bloomington, Indiana 47405. A kit
  659. containing all the materials needed to construct a simple version of
  660. Stiquito and its controller is available for an extra $10 from the above
  661. address (use attn line "Stiquito Kit"). To receive a video showing the
  662. assembly of Stiquito, include an additional $10 and add "Video" to the
  663. "Attn:" line.  Anyone may build and use Stiquitos in any quantity for
  664. educational or research purposes, but Indiana University reserves all
  665. rights to commercial applications. Questions about Stiquito should be sent
  666. to Prof. Jonathan W. Mills <stiquito@cs.indiana.edu>. To join the Stiquito
  667. mailing list run by Jon Blow of UC/Berkeley, send mail to
  668. stiquito-request@xcf.berkeley.edu.
  669.  
  670.  
  671. Togai InfraLogic, Inc. (TIL) is a supplier of fuzzy logic and fuzzy expert
  672. system software and hardware. For more information, write to Togai
  673. InfraLogic, Inc., 5 Vanderbilt, Irvine, CA 92718, call +1 714 975 8522, fax
  674. +1 714 975 8524, or send email to info@til.com or til!info.  TIL also
  675. supports an email-server that can be reached at fuzzy-server@til.com or
  676. til!fuzzy-server.  Send an email message that contains just the word "help"
  677. in either the subject line or the message body for more information. A list
  678. of products can be obtained by sending a message that contains only the
  679. line "send products.txt" to the email-server. For an index of the contents
  680. of the server, send a message with the line "send index".
  681.  
  682. YAPS is a tool for building expert systems and other programs that use a
  683. rule-based knowledge representation in Lisp. The YAPS library provides a
  684. CLOS class and appropriate methods which the programmer may mix into
  685. his/her own classes or use directly.  Rules and facts about an instance are
  686. associated with the instance.  Instead of one large knowledgebase with many
  687. rules which are hard to debug and maintain, the programmer creates smaller
  688. knowledge-bases which are modular and more efficient.  The YAPS
  689. knowledge-bases can interact with and be controlled by the programmer's
  690. other modules, making hybrid systems straightforward.  Introduced by Liz
  691. Allen at AAAI-83, YAPS is now available on Apple Macintosh, Sun3 and Sun4
  692. (SPARC), DEC VAX under VMS and Ultrix, and 88Open platforms.  YAPS runs in
  693. most commercial Common Lisps including Allegro CL, Harlequin Lispworks,
  694. Lucid CL, IBUKI CL, and Macintosh Common Lisp.  YAPS is also available for
  695. the TI Explorer and Symbolic Lisp Machines, and a Flavors version is
  696. available for Sun3 in Franz Lisp.  Other ports are underway -- for price
  697. and availability contact College Park Software at 461 W. Loma Alta Dr.,
  698. Altadena, CA 91001-3841, USA; or by email at info@cps.altadena.ca.us, or
  699. call 818-791-9153 (voice) or 818-791-1755 (FAX).
  700.  
  701.  
  702. The following is from Risks Digest 13.83 -- I have no idea what the
  703. software does, but Colby did head up the PARRY project:
  704.  
  705.   FEELING HELPLESS ABOUT DEPRESSION? Overcoming Depression 2.0 provides
  706.   computer based cognitive therapy for depression with therapeutic dialogue
  707.   in everyday language.  Created by Kenneth Mark Colby, M.D., Professor of
  708.   Psychiatry and Biobehavioural Sciences, Emeritus, UCLA. Personal Version
  709.   ($199), Professional version ($499).  Malibu Artificial Intelligence
  710.   Works, 25307 Malibu Rd, CA 90265. 1-800-497-6889.
  711.  
  712. ---------------------------------------------------------------- Subject:
  713. [1-9]  Glossary of AI terms.
  714.  
  715. This is the start of a simple glossary of short definitions for AI
  716. terminology.
  717.  
  718.    Strong AI: Claim that computers can be made to actually think, just like
  719.         human beings do. More precisely, the claim that there exists a
  720.         class of computer programs, such that any implementation of such a
  721.         program is really thinking.
  722.  
  723.    Weak AI: Claim that computers are important tools in the modeling and
  724.         simulation of human activity.
  725.  
  726.    Case-based Reasoning: Technique whereby "cases" similar to the current
  727.         problem are retrieved and their "solutions" modified to work on the
  728.         current problem.
  729.  
  730.    Nonlinear Planning: A planning paradigm which does not enforce a total
  731.         (linear) ordering on the components of a plan.
  732.  
  733.    Admissibility: An admissible search algorithm is one that is guaranteed
  734.         to find an optimal path from the start node to a goal node, if one
  735.         exists. In A* search, an admissible heuristic is one that never
  736.         overestimates the distance remaining from the current node to the
  737.         goal.
  738.  
  739.    Fuzzy Logic: In Fuzzy Logic, truth values are real values in the closed
  740.         interval [0..1]. The definitions of the boolean operators are
  741.         extended to fit this continuous domain. By avoiding discrete
  742.         truth-values, Fuzzy Logic avoids some of the problems inherent in
  743.         either-or judgments and yields natural interpretations of
  744.         utterances like "very hot". Fuzzy Logic has applications in control
  745.         theory.
  746.  
  747. ---------------------------------------------------------------- Subject:
  748. [1-10] What are the top schools in AI?
  749.  
  750. The answer to this question is not intended to be a ranking and should not
  751. be interpreted as such. There are several major problems with ratings like
  752. the Gourman Report and the US News and World Report. Such rankings are
  753. often unsubstantiated and anecdotal, their accuracy is questionable, and
  754. they do not focus on the subfields of an area. When selecting a graduate
  755. school, students should look for schools which not only have excellent
  756. programs in their general area of research but also at least one faculty
  757. member whose research interests mesh well with the student's. Accordingly,
  758. we've broken down this list according to topic, and sorted the schools
  759. within each topic in ALPHABETICAL ORDER.
  760.  
  761. For a school to be added to a topic area, there should at least two faculty
  762. actively conducting research in that area and the school should have a
  763. "good" reputation in that area. Exceptions are made for schools which only
  764. have one faculty member in the area, but that professor is a "leader" of
  765. the area, or for fields where the total number of people working in the
  766. area is small in the first place. The general idea behind these criteria is
  767. to ensure that a school has enough activity in the area that a student who
  768. considers one of these schools won't be disappointed if one of the faculty
  769. in that area is on sabbatical or isn't taking students.
  770.  
  771. The best way for students to discover which schools are good in a field is
  772. to ask professors (and graduate students) in their undergraduate school for
  773. suggestions on where to apply. Reading the research journals in the field
  774. is another good method (see question [1-1]).
  775.  
  776. A list of email addresses for CS departments is posted once a month to the
  777. newsgroup soc.college.gradinfo.
  778.  
  779. NOTE THAT THIS LIST IS PRELIMINARY AND BY NO MEANS COMPLETE.
  780.  
  781. Please feel free to suggest schools that are particularly strong in any of
  782. these areas, or to suggest new areas to be listed.
  783.  
  784. Schools with excellent programs in most fields: Carnegie Mellon University
  785.    (CMU) MIT Stanford
  786.  
  787.    Georgia Tech Imperial College Indiana Maryland Rutgers Sussex University
  788.    Toronto UCLA Univ. of Edinburgh Univ. of Illinois/Urbana-Champaign
  789.    (UIUC) Univ. of Massachusetts/Amherst Univ. of Michigan Univ. of
  790.    Rochester Univ. of Southern California & USC/Information Sciences
  791.    Institute Yale
  792.  
  793.  
  794. AI and Medicine: Stanford MIT
  795.  
  796. AI and Legal Reasoning: Imperial College Univ. of Massachusetts/Amherst
  797.  
  798. Artificial Life: UCLA
  799.  
  800. Automated Deduction/Theorem Proving: Imperial College Stanford Univ. of
  801.    Edinburgh Univ. of Oregon Univ. of Texas/Austin
  802.  
  803. Case-Based Reasoning: Chicago Georgia Tech Univ. of Massachusetts/Amherst
  804.  
  805.  
  806. Cognitive Modelling: Carnegie Mellon University (CMU) Georgia Tech Indiana
  807.    Univ. of Michigan
  808.  
  809. Connectionism/Neural Networks: Boston University, Cognitive and Neural
  810.    Systems Department (ART networks) Brown University CalTech Carnegie
  811.    Mellon University (CMU) Indiana MIT Ohio State Univ. Stanford Syracuse
  812.    University Toronto UC/Irvine UC/San Diego UCLA UNC/Chapel Hill Univ. of
  813.    Colorado/Boulder Univ. of Illinois/Urbana-Champaign (UIUC) Univ. of
  814.    Massachusetts/Amherst Univ. of Pennsylvania Univ. of Southern California
  815.    & USC/Information Sciences Institute
  816.  
  817. Decision Theory and AI: Berkeley MIT Stanford Univ. of Michigan Univ. of
  818.    Washington
  819.  
  820. Distributed AI: Univ. of Massachusetts/Amherst Univ. of Michigan
  821.  
  822. Fuzzy Logic: Berkeley
  823.  
  824. Genetic Algorithms: George Mason Univ. of Illinois/Urbana-Champaign (UIUC)
  825.    Univ. of Michigan
  826.  
  827. Integrated AI Architectures: Carnegie Mellon University (CMU) Stanford
  828.    Univ. of Michigan
  829.  
  830. Knowledge Representation: Stanford Univ. of Oregon
  831.  
  832. Logic Programming and Logic-based AI: Carnegie Mellon University (CMU)
  833.    Imperial College Stanford UCLA Univ. of Edinburgh Univ. of Melbourne
  834.    Univ. of Illinois/Urbana-Champaign (UIUC) Univ. of Oregon Univ. of
  835.    Pennsylvania
  836.  
  837. Machine Discovery: Carnegie Mellon University (CMU)
  838.  
  839. Machine Learning: Brown University Carnegie Mellon University (CMU) Georgia
  840.    Tech Johns Hopkins MIT UCI Univ. of Massachusetts/Amherst Univ. of
  841.    Michigan Univ. of Southern California & USC/Information Sciences
  842.    Institute
  843.  
  844. Natural Language, Speech: Brown Carnegie Mellon University (CMU) Columbia
  845.    Georgia Tech ISI Indiana MIT Penn Stanford Toronto UCLA Univ. of
  846.    Massachusetts/Amherst Univ. of Rochester Univ. of Southern California &
  847.    USC/Information Sciences Institute Waterloo (stylistics, MT, discourse)
  848.  
  849. Nonmonotonic Reasoning: Imperial College Stanford UCLA Univ. of Oregon
  850.    Toronto
  851.  
  852. Philosophy of AI: MIT Berkeley
  853.  
  854. Planning: Brown University Carnegie Mellon University (CMU) Imperial
  855.    College MIT Stanford Univ. of Massachusetts/Amherst Univ. of Oregon
  856.    Univ. of Rochester Univ. of Washington/Seattle Waterloo
  857.  
  858. Probabilistic Reasoning: Brown University Oregon State University Stanford
  859.    UCLA Univ. of Rochester
  860.  
  861. Production Systems/Expert Systems: Carnegie Mellon University (CMU)
  862.    Stanford
  863.  
  864. Qualitative Physics and Model Based Reasoning: Northwestern ILS (Forbus)
  865.    Univ. of Oregon Univ. of Texas Univ. of Washington
  866.  
  867. Robotics: Bristol Polytechnic, UK Brown California Institute of Technology
  868.    (Caltech) Carnegie Mellon University (CMU) Georgia Tech Harvard Hull
  869.    University, UK MIT Naval Postgraduate School New York University (NYU)
  870.    Courant Institute of Mathematical Sciences North Carolina State
  871.    Univerisity/Raleigh (NCSU) Oxford Purdue Reading University, UK
  872.    Rennsalear Polytechnic Institute (RPI) Salford University, UK Stanford
  873.    Swiss Federal Institute of Technology UC/Berkeley Univ. of Alberta Univ.
  874.    of Kansas Univ. of Kentucky Univ. of Maryland Univ. of
  875.    Massachusetts/Amherst Univ. of Michigan Univ. of Paris INRIA Univ. of
  876.    Pennsylvania Univ. of Southern California & USC/Information Sciences
  877.    Institute Univ. of Utah Univ. of Wisconsin Yale
  878.  
  879. Search: UCLA Univ. of Oregon
  880.  
  881. Temporal Reasoning: Imperial College
  882.  
  883. Virtual Reality: Carnegie Mellon University (CMU) Columbia Florida
  884.    Institute of Technology MIT Media Lab Naval Postgraduate School UVA
  885.    Univ. North Carolina/Chapel Hill (UNC)
  886.  
  887. Vision: Carnegie Mellon University (CMU) Columbia Johns Hopkins
  888.  
  889.    MIT UCLA Univ. of Maryland Univ. of Massachusetts/Amherst Univ. of
  890.    Rochester Univ. of Southern California & USC/Information Sciences
  891.    Institute
  892.  
  893. ---------------------------------------------------------------- Subject:
  894. [1-11] How can I get the email address for Joe or Jill Researcher?
  895.  
  896. The AAAI membership directory is updated annually and contains addresses,
  897. phone numbers, and email addresses for many members of AAAI and other AI
  898. societies. Contact info@aaai.org for information on getting a copy of the
  899. directory (you should get a free copy if you are a member of one of the
  900. listed societies).
  901.  
  902. See also the Email Address FAQ posting to the newsgroups soc.college and
  903. soc.net-people.
  904.  
  905. The Artificial Intelligence and Molecular Biology Researchers database
  906. contains names, institutions, addresses, phone, fax, email, research
  907. interests and other related information about more than 200 researchers
  908. worldwide.  The database is available via anonymous ftp from the host
  909. lhc.nlm.nih.gov in the directory /pub/aimb-db.  There are computer- and
  910. human- readable versions available.  Get the README file for more
  911. information or send email to Larry Hunter, <hunter@nlm.nih.gov>.
  912.  
  913. ----------------------------------------------------------------
  914. Archive-name: ai-faq/part3 Last-Modified: Fri Mar 12 12:36:47 1993 by Mark
  915. Kantrowitz Version: 1.4
  916.  
  917. ;;; **************************************************************** ;;;
  918. Answers to Questions about Artificial Intelligence ************* ;;;
  919. **************************************************************** ;;;
  920. Written by Mark Kantrowitz ;;; ai-faq-3.text -- 42154 bytes
  921.  
  922. This part of the AI FAQ provides a bibliography of good introductory texts
  923. and overviews of AI and specific subfields of AI. If you feel that there is
  924. a reference or set of references which should be added to this FAQ, or
  925. references which should be removed, please send email to
  926. mkant+ai-faq@cs.cmu.edu.  When suggesting references to be included in a
  927. particular subfield, only suggest the best two or three references (or a
  928. particularly well-written overview). It is NOT the intention of this
  929. listing to be a comprehensive AI bibliography.
  930.  
  931. Part 3 (Bibliography): Bibliography of introductory texts, overviews and
  932.   references Addresses and phone numbers for major AI publishers
  933.  
  934. Outline: [1]  AI in general (Introductions, Overviews) [1a] Major AI
  935.    Publishers [2]  Search [3]  Knowledge Representation [4]  Logic [5]
  936.    Planning [6]  Natural Language Processing (NLP) [7]  Connectionism and
  937.    Neural Nets [8]  Machine Learning [9]  Case-Based Reasoning [10] Genetic
  938.    Algorithms [11] Production Systems, Expert Systems and Match Algorithms
  939.    [12] Integrated AI Architectures [13] Fuzzy Logic [14] Artificial Life
  940.    [15] Qualitative Physics and Model Based Reasoning [16] Task-specific
  941.    Architectures for Problem Solving [17] Automated Deduction [18]
  942.    Probabilistic Reasoning [19] Nonmonotonic Reasoning [20] Robotics and
  943.    Computer Vision [21] Distributed AI [22] User/Agent Modeling [23]
  944.    Philosophy of AI [24] What is Cyc? [25] Miscellaneous [26] Videotapes
  945.    and Magazines
  946.  
  947. Search for [#] to get to question number # quickly.
  948.  
  949. ---------------------------------------------------------------- Subject:
  950. [1]  AI in general (Introductions, Overviews)
  951.  
  952. Introductory texts:
  953.  
  954.     Elaine Rich & Kevin Knight, "Artificial Intelligence", 2nd edition,
  955.     McGraw-Hill, New York, 1991. ISBN 0-07-052263-4
  956.  
  957.     Patrick Henry Winston, "Artificial Intelligence", Third Edition,
  958.     Addison Wesley, Reading, MA, 1992, ISBN 0-201-53377-4.
  959.  
  960.     Matthew L. Ginsberg, "Essentials of AI", Morgan Kaufmann Publishers,
  961.     1993, ISBN 1-55860-221-6.
  962.  
  963. Overviews and References:
  964.  
  965.     Shapiro, Stuart C. (ed), "Encyclopedia of Artificial Intelligence", 2nd
  966.     Edition, John Wiley & Sons, New York, 1992. (1st ed, 1987)
  967.  
  968.     Alan Bundy, editor, "Catalogue of Artificial Intelligence Techniques",
  969.     3rd Edition, Springer Verlag, 1990, ISBN 0-387-52959-4, 179 pages,
  970.     $29.50.
  971.  
  972.     Avron Barr and Edward A. Feigenbaum, "The Handbook of Artificial
  973.     Intelligence", volumes 1-4, Addison-Wesley, Reading, MA, 1986.
  974.  
  975.     Sundermeyer, K., "Knowledge-Based Systems: Terminology and References",
  976.     Wissenschaftverlag, 1991. ISBN 3-411-14941-8
  977.  
  978.     Bonnie Lynn Webber and Nils J. Nilsson, "Readings in Artificial
  979.     Intelligence", Morgan Kaufmann, San Mateo, CA, 1981.
  980.  
  981. Glossaries and Dictionaries:
  982.  
  983.     Raoul N. Smith, editor, "The Facts on File Dictionary of Artificial
  984.     Intelligence", Facts on File, New York, 1989, 211 pages. ISBN
  985.     0-8160-1593-3.
  986.  
  987.     Jerry M. Rosenberg, "Dictionary of Artificial Intelligence and
  988.     Robotics", Wiley, New York, 1986, 203 pages.
  989.  
  990.     Ellen Thro, "The Artificial Intelligence Dictionary", Microtrend Books
  991.     1991, ISBN 0-915391-36-8.
  992.  
  993. Older general introductions and overviews:
  994.  
  995.     Nils J. Nilsson, "Principles of Artificial Intelligence", Tioga
  996.     Publishing Company, Palo Alto, CA, 1980.
  997.  
  998.     Eugene Charniak and Drew V. McDermott, "Introduction to Artificial
  999.     Intelligence", Addison-Wesley, Reading, MA, 1985.
  1000.  
  1001.     Firebaugh, Morris W., "Artificial Intelligence: A Knowledge-Based
  1002.     Approach", PWS-Kent, Massachusetts, 1989.  ISBN 0-87835-325-9 Emphasis
  1003.     on the role of knowledge in the design of intelligent systems. Includes
  1004.     intro to AI programming languages, extensive discussion of expert
  1005.     systems and robotics, survey of parallel machine architectures, and
  1006.     identification of bottlenecks in the implementation of useful AI
  1007.     systems.
  1008.  
  1009. Surveys:
  1010.  
  1011.     Howard E. Shrobe, editor, "Exploring Artificial Intelligence", Morgan
  1012.     Kaufmann Publishers, San Mateo, CA, 1988. (Survey talks from the AAAI
  1013.     1986 and 1987 conferences.)
  1014.  
  1015. ---------------------------------------------------------------- Subject:
  1016. [1a] Major AI Publishers
  1017.  
  1018. Ablex Publishing Corporation 355 Chestnut Street, Norwood, NJ 07648-2090
  1019. 201-767-8455/8450 Fax 201-767-6717
  1020.  
  1021. Academic Press 1250 Sixth Avenue, San Diego, CA 92101 Orders: 800-321-5068
  1022. Fax:    619-699-6715
  1023.  
  1024. Addison Wesley Publishing Company, Inc. Route 128, 1 Jacob Way, Reading, MA
  1025. 01867 800-447-2226 (617-944-3700) Fax:   617-944-8243
  1026.  
  1027. Benjamin Cummings Publishing Company 2727 Sand Hill Road, Menlo Park, CA
  1028. 94025 415-854-0300 390 Bridge Parkway, Redwood City, CA 94065 800-552-2499
  1029.  
  1030. Blackwell Scientific Publications, Inc. 3 Cambridge Center, Suite 208,
  1031. Cambridge, MA 02142 617-225-0401 Fax:   617-225-0412 Osney Mead, PO Box 88,
  1032. Oxford, 0X2 0EL, UK 0865-240201
  1033.  
  1034. Cambridge University Press 40 West 20th Street, New York, NY 10022 Orders:
  1035. 800-221-4512, 212-924-3900
  1036.  
  1037. Columbia University Press 562 West 113th Street, New York, NY 10025
  1038. 800-944-8648
  1039.  
  1040. Computer Science Press, Inc. 41 Madison Avenue, New York, NY 10010-3546
  1041. 212-576-9400
  1042.  
  1043. Computing Reviews 11 West 42nd Street, New York, NY 10036
  1044.  
  1045. Cornell University Press Box 250, 124 Roberts Place, Ithica, NY 14851
  1046. 800-666-2211
  1047.  
  1048. Digital Press 12 Crosby Drive, Bedford, MA 01730 617-276-1536
  1049.  
  1050. Elsevier Science Publishing 655 Avenue of the Americas, New York, NY 10017
  1051. 212-633-3827/3650 PO Box 211, Amsterdam, 1000 AE, The Netherlands
  1052. 020-580-3641 Fax:    020-580-3769
  1053.  
  1054. Harvard University Press 79 Garden Street, Cambridge, MA 02138
  1055. 617-495-2600/2480
  1056.  
  1057. Houghton Miflin Company One Memorial Drive, Cambridge, MA 02142
  1058. 617-252-3000 One Beacon Street, Boston, MA 02108 800-225-3362
  1059.  
  1060.  
  1061. John Wiley & Sons, Inc. 605 Third Avenue, New York, NY 10158 212-850-6000
  1062.  
  1063. Kluwer Academic Publishers 101 Philip Drive, Norwell, MA 02061 617-871-6600
  1064. Fax:   617-871-6528. Email: kluwer@world.std.com
  1065.  
  1066. Lawrence Erlbaum Associates, Inc. 365 Broadway, Hillsdale, NJ 07642
  1067. 800-926-6579, (201-666-4110) Fax:   201-666-2394
  1068.  
  1069. Little Brown & Company 34 Beacon Street, Boston, MA 02108 617-227-0730 Fax:
  1070. 617-227-4633
  1071.  
  1072. Macmillan Publishing 866 Third Avenue, Third Floor, New York, NY 10022
  1073. 800-257-5755 (212-702-2000)
  1074.  
  1075. McGraw Hill Book Company 1221 Avenue of the Americas, 43rd Floor, New York,
  1076. NY 10020 800-442-9685 (212-512-2000)
  1077.  
  1078. MIT Press 55 Hayward Street, Cambridge, MA 02139 617-253-5642 Orders:
  1079. 800-356-0343 (617-625-8569) Fax: 617-625-6660
  1080.  
  1081. Morgan Kaufmann Publishers, Inc. Department E17, 2929 Campus Drive, Suite
  1082. 260, San Mateo, CA 94403 Orders: 800-745-7323 (415-578-9911) Fax:
  1083. 415-578-0672 Email:  morgan@unix.sri.com Their "Readings in X" series is a
  1084. good source of information on various AI topics. (Many of them are listed
  1085. below.)
  1086.  
  1087. Oxford University Press 200 Madison Avenue, New York, NY 10016 800-451-7556
  1088.  
  1089. Pergamon Press 395 Saw Mill River Road, Elmsford, NY 10523 800-257-5755
  1090. (914-592-7700)
  1091.  
  1092. Prentice Hall Inc. College Division, 440 Sylvan Avenue, Englewood Cliffs,
  1093. NJ 07632 201-592-2377 Orders: 800-223-1360 (fax to 800-495-6991) Fax:
  1094. 201-461-4573 Email: books@prenhall.com
  1095.  
  1096. Princeton University Press 41 William Street, Princeton, NJ 08540
  1097. 800-777-4726
  1098.  
  1099. Random House Publishing 201 East 50th Street, New York, NY 10022
  1100. 212-751-2600
  1101.  
  1102. Springer Verlag 175 Fifth Avenue, New York, NY 10010 800-777-4643
  1103. (201-348-4033)
  1104.  
  1105. University Microfilms International 300 North Zeeb Road, Ann Arbor, MI
  1106. 48106 313-761-4700 Copies of PhD theses off of microfilm.
  1107.  
  1108. University of Chicago Press 5801 South Ellis Avenue, Chicago, IL 60637
  1109. 800-621-2736 (312-702-7700)
  1110.  
  1111. Van Nostrand Reinhold Company, Inc. 115 Fifth Avenue, New York, NY 10003
  1112. 212-254-3232
  1113.  
  1114. W. H. Freeman & Company 41 Madison Avenue, New York, NY 10010 212-576-9400
  1115. Fax:   212-689-2383
  1116.  
  1117. W. W. Norton & Company, Inc. 500 Fifth Avenue, New York, NY 10010
  1118. 800-233-4830 (212-354-5500)
  1119.  
  1120. ---------------------------------------------------------------- Subject:
  1121. [2] Search
  1122.  
  1123. [See also the Barr and Feigenbaum's Handbook of AI, chapter 1; Nilsson's
  1124. Principles of AI, sections 2.4.1 through 2.4.4 (A*), sections 3.1 and 3.2
  1125. (AND/OR trees and AO*); and the Mackworth paper in Readings in Artificial
  1126. Intelligence.]
  1127.  
  1128.     Pearl, J. and Korf, R. E., "Search techniques", Annual Review of
  1129.     Computer Science, volume 2, J.F. Traub, B.J. Grosz, B.W. Lampson and
  1130.     N.J. Nilsson, editors, pages 451-467, Annual Reviews Inc., Palo Alto,
  1131.     CA, 1987.
  1132.  
  1133.     L. Kanal and V. Kumar, "Search in Artificial Intelligence",
  1134.     Springer-Verlag, 1988.
  1135.  
  1136.     Hans J. Berliner, "The B* Tree Search Algorithm: A Best-First Proof
  1137.     Procedure", Artificial Intelligence, 12(1):23-40, May 1979. Also
  1138.     appears in "Readings in Artificial Intelligence".
  1139.  
  1140.     Pearl, J., "Heuristics: Intelligent Search Strategies for Computer
  1141.     Problem Solving", Addison-Wesley, 1984.
  1142.  
  1143.     Kirkpatrick, S. Gelatt, CD, and Vecchi, MP, "Optimization by Simulated
  1144.     Annealing", Science 220(4589):671-680, 1983.
  1145.  
  1146. ---------------------------------------------------------------- Subject:
  1147. [3] Knowledge Representation
  1148.  
  1149. [Several papers in "Readings in Artificial Intelligence" are relevant,
  1150. including S. Amarel "On Representations of Problems on Reasoning about
  1151. Actions" and P.J. Hayes "The Frame Problem and Related Problems in AI".]
  1152.  
  1153.     Brachman, Ronald J. and Levesque, Hector J., editors, "Readings in
  1154.     Knowledge Representation", Morgan Kaufmann Publishers, 1985.
  1155.  
  1156.     Ronald J. Brachman and James G. Schmolze, "An overview of the KL-ONE
  1157.     knowledge representation system", Cognitive Science, 9:171-216, 1985.
  1158.  
  1159.     Ronald J. Brachman, Richard E. Fikes, and Hector J. Levesque, "KRYPTON:
  1160.     A functional approach to knowledge representation", IEEE Computer,
  1161.     16:67-73, 1983.
  1162.  
  1163.     Ronald J. Brachman, "On the epistemological status of semantic
  1164.     networks", in N.V. Findler, editor, Associative Networks, pp. 318-353.
  1165.     New York: Academic Press, 1979.
  1166.  
  1167.     Allen Newell, "The Knowledge Level", Artificial Intelligence,
  1168.     18:87-127, 1982.
  1169.  
  1170.     Allen Newell and Herb Simon, "Computer Science as Empirical Enquiry:
  1171.     Symbols and Search", Communications of the ACM, 19(3):113-126, 1976.
  1172.  
  1173.     Penny Nii, "Blackboard Systems", AI Magazine 7(3), 1986.
  1174.  
  1175.     Ronald J. Brachman, " ``I lied about the trees'', or, defaults and
  1176.     definitions in knowledge representation", AI Magazine 6(3):80-93, 1985.
  1177.  
  1178.     W.A. Woods, "What's in a link: Foundations for semantic networks", In
  1179.     D.G.  Bobrow & A. Collins (Eds.), "Representation and Understanding",
  1180.     Academic Press, New York, 1975.  Reprinted in "Readings in Cognitive
  1181.     Science", Collins & Smith (eds.), section 2.2.
  1182.  
  1183. ---------------------------------------------------------------- Subject:
  1184. [4] Logic
  1185.  
  1186.     Genesereth, M.R. and Nilsson, N.J., "Logical Foundations of Artificial
  1187.     Intelligence", Morgan Kaufmann Publishers, Los Altos, CA, 1987.
  1188.  
  1189. ---------------------------------------------------------------- Subject:
  1190. [6]  Natural Language Processing (NLP)
  1191.  
  1192. General:
  1193.  
  1194.     Gazdar, G. and Mellish, C., "Natural Language Processing in Lisp: An
  1195.     Introduction to Computational Linguistics", Addison-Wesley, Reading,
  1196.     Massachusetts, 1989. (There are three different editions of the book,
  1197.     one for Lisp, one for Prolog, and one for Pop-11.)
  1198.  
  1199.     Grosz, B.J., Sparck-Jones, K., and Webber, B.L., "Readings in Natural
  1200.     Language Processing", Morgan Kaufmann Publishers, Los Altos, CA, 1986.
  1201.  
  1202.     Robert C. Berwick, "Computational Linguistics", MIT Press, Cambridge,
  1203.     MA, 1989, ISBN 0262-02266-4.
  1204.  
  1205.     Brady, Michael, and Berwick, Robert C., "Computational Models of
  1206.     Discourse", MIT Press, Cambridge, MA, 1983.
  1207.  
  1208.     Klaus K. Obermeier, "Natural Language Processing Technologies in
  1209.     Artificial Intelligence: The Science and Industry Perspective", John
  1210.     Wiley & Sons, New York, 1989.
  1211.  
  1212.     Allen, James F., "Natural Language Understanding", The
  1213.     Benjamin/Cummings Publishing Company, Menlo Park, California,
  1214.  
  1215.     (Addison-Wesley Publishing Company, Reading, Massachusetts), 1988, ISBN
  1216.     0-8053-0330-8.
  1217.  
  1218.     Terry Winograd, "Language as a Cognitive Process", Addison-Wesley,
  1219.     Reading, MA, 1983.
  1220.  
  1221.     Schank, R. and Abelson, R.  "Scripts, Plans, Goals, and
  1222.     Understandings," Lawrence Erlbaum Associates, Hillsdale, New Jersey,
  1223.     1977.
  1224.  
  1225. Terminology:
  1226.  
  1227.     David Crystal, "A Dictionary of Linguistics and Phonetics", 3rd
  1228.     Edition, Basil Blackwell Publishers, New York, 1991.
  1229.  
  1230. Parsing:
  1231.  
  1232.     Tomita, M. (Editor), "Current Issues in Parsing Technology", Kluwer
  1233.     Academic Publishers, Norwell, MA, 1991.
  1234.  
  1235.     Tomita, M., "An Efficient Context-Free Parsing Algorithm",
  1236.     Computational Linguistics 13:31-46, 1987.
  1237.  
  1238.     Marcus, M.  "A Theory of Syntactic Recognition for Natural Language,"
  1239.     The MIT Press, Cambridge, MA, 1980.
  1240.  
  1241.     Pereira, F. and Sheiber, S.  "Prolog and Natural-Language Analysis,"
  1242.     Center for the Study of Language and Information, 1987.
  1243.  
  1244. Probabilistic Parsing:
  1245.  
  1246.     Wright, J., "LR Parsing of Probabilistic Grammars with Input
  1247.     Uncertainty for Speech Recognition", Computer Speech and Language
  1248.     4:297-323, 1990.
  1249.  
  1250.     Ted Briscoe and John Carroll, "Generalised Probabilistic LR Parsing of
  1251.     Natural Language (Corpora) with Unification-based Grammars", University
  1252.     of Cambridge Computer Laboratory, Technical Report Number 224, 1991.
  1253.  
  1254. Natural Language Understanding:
  1255.  
  1256.     E. Charniak, "Passing Markers: A Theory of Contextual Influence in
  1257.     Language Comprehension", Cognitive Science, 7:171-190, 1983.
  1258.  
  1259.     Bertram C. Bruce, "Case systems for natural language", Artificial
  1260.     Intelligence 6:327-360, 1975.
  1261.  
  1262.     Yorick Wilks, "A Preferential, Pattern-Seeking, Semantics For Natural
  1263.     Language Inference", Artificial Intelligence, 6:53-74, 1975.
  1264.  
  1265.     Dyer, M.  "In-Depth Understanding:  A Computer Model of Integrated
  1266.     Processing for Narrative Comprehension,"  MIT Press, Cambridge, MA,
  1267.     1983.
  1268.  
  1269. Natural Language Interfaces:
  1270.  
  1271.     Raymond C. Perrault and Barbara J. Grosz, "Natural Language
  1272.     Interfaces", Annual Review of Computer Science, volume 1, J.F. Traub,
  1273.     editor, pages 435-452, Annual Reviews Inc., Palo Alto, CA, 1986.
  1274.  
  1275. Natural Language Generation:
  1276.  
  1277.     McKeown, Kathleen R. and Swartout, William R., "Language Generation and
  1278.     Explanation", in Zock, M. and Sabah, G., editors, Advances in Natural
  1279.     Language Generation, Volume 1, Pages 1-51, Ablex Publishing Company,
  1280.     Norwood, NJ, 1988. (Overview of the state of the art in natural
  1281.     language generation.)
  1282.  
  1283. ---------------------------------------------------------------- Subject:
  1284. [5]  Planning
  1285.  
  1286. Intros, Overviews, Paper Collections:
  1287.  
  1288.     James Allen, James Hendler and Austin Tate, editors, "Readings in
  1289.     Planning", Morgan-Kaufmann Publishers, 1990.
  1290.  
  1291.     James Hendler, Austin Tate and Mark Drummond, "AI Planning: Systems and
  1292.     Techniques", AI Magazine, May, 1990. (Review article.)
  1293.  
  1294.     Georgeff, M. P., "Planning," in Annual Review of Computer Science,
  1295.     Annual Reviews Inc., pages 359-400, 1987.
  1296.  
  1297.     Drew McDermott, "Robot Planning", AI Magazine 13:2, Summer 1992, pp.
  1298.     55-79.
  1299.  
  1300.     William R. Swartout, "DARPA Workshop on Planning", AI Magazine,
  1301.     9(2):115-131, Summer, 1988. (Survey of current work and issues in
  1302.     planning.)
  1303.  
  1304.     [See also Waldinger's "Achieving several goals simultaneously", in
  1305.      "Readings in Artificial Intelligence".]
  1306.  
  1307. STRIPS:
  1308.  
  1309.     Fikes, R.E. and Nilsson, N.J., "STRIPS: A new approach to the
  1310.     application of theorem proving to problem solving", Artificial
  1311.     Intelligence 2:189-208, 1971.
  1312.  
  1313. ABSTRIPS:
  1314.  
  1315.     Sacerdoti, E. D., "Planning in a Hierarchy of Abstraction Spaces,"
  1316.     Artificial Intelligence, 5:115-135, 1974.
  1317.  
  1318. Conjunctive Goals:
  1319.  
  1320.     Chapman, D., "Planning for Conjunctive Goals", Artificial Intelligence
  1321.     32:333-377, 1987.
  1322.  
  1323. NOAH:
  1324.  
  1325.     Sacerdoti, E., "A Structure for Plans and Behavior", Artificial
  1326.     Intelligence, pages 1-65, American Elsevier, New York, 1977.
  1327.  
  1328.     Sacerdoti, E. D., "The Nonlinear Nature of Plans," Proc. of the Fourth
  1329.     Joint Conf. on Artificial Intelligence, Morgan Kaufmann, 1975, 206-214.
  1330.  
  1331. Reactive Planning:
  1332.  
  1333.     Agre P.E. and Chapman, D., "Pengi: An Implementation of a Theory of
  1334.     Activity", in Proceedings of the Sixth National Conference on
  1335.     Aritificial Intelligence, Seattle, WA, July 1987.
  1336.  
  1337.     Georgeoff, M.P. and Lansky, A.L., "Reactive Reasoning and Planning", in
  1338.     Proceedings of the Sixth National Conference on Artificial
  1339.     Intelligence, Seattle, WA, pages 677-682, July 1987.
  1340.  
  1341.     Simmons, R.G., "A theory of debugging plans and interpretations", in
  1342.     Proceedings of the Seventh National Conference on Artificial
  1343.     Intelligence (AAAI-88), Morgan Kaufmann Publishers, Palo Alto, CA,
  1344.     pages 94-99, 1988.
  1345.  
  1346. Case-based Planning:
  1347.  
  1348.     Hammond, K., "Case-based Planning: Viewing Planning as a Memory Task",
  1349.     Academic Press, Cambridge, MA, 1989.
  1350.  
  1351. Miscellaneous:
  1352.  
  1353.     Stefik, M.J., "Planning with Constraints", Artificial Intelligence
  1354.     15:111-140 and 16:141-170, 1981.
  1355.  
  1356.     Wilkins, D.E., "Domain-Independent Planning: Representation and Plan
  1357.     Generation", Artificial Intelligence 22:269-301, 1984.
  1358.  
  1359.     R. Wilensky, "Meta-Planning: Representing and Using Knowledge About
  1360.     Planning in Problem Solving and Natural Language Understanding",
  1361.     Cognitive Science 5:197-233, 1981.  Reprinted in Readings in Cognitive
  1362.     Science, Collins & Smith (eds.), section 5.6.
  1363.  
  1364. ---------------------------------------------------------------- Subject:
  1365. [7]  Connectionism and Neural Nets
  1366.  
  1367. Introductions and Overviews:
  1368.  
  1369.     Geoffrey E. Hinton, "Connectionist Learning Procedures", Artificial
  1370.     Intelligence 40(1-3):185-234, 1989.  Reprinted in J. Carbonell, editor,
  1371.     "Machine Learning: Paradigms and Methods", MIT Press, 1990.  Also
  1372.     appears as Technical Report CMU-CS-87-115 (version 2), Carnegie Mellon
  1373.     University, Pittsburgh, PA, December 1987.
  1374.  
  1375.     Kevin Knight, "A gentle introduction to subsymbolic computation:
  1376.     Connectionism for the AI researcher". Technical Report CMU-CS-89-150,
  1377.     Carnegie Mellon University, School of Computer Science, Pittsburgh, PA,
  1378.     May 30, 1989.
  1379.  
  1380.     Scott Fahlman and Geoffrey Hinton, "Connectionist Architectures for
  1381.     Artificial Intelligence", IEEE Computer 20(1):100-109, January 1987.
  1382.  
  1383.     Hertz, J., Krogh, A., and Palmer, R.G., "Introduction to the Theory of
  1384.     Neural Computation", Addison-Wesley, 1991. 327 pages. ISBN
  1385.     0-201-51560-1.
  1386.  
  1387.     Hecht-Nielsen, Robert, "Neurocomputing", Addison-Wesley, 1990, 433
  1388.     pages. ISBN 0-201-09355-3.
  1389.  
  1390. Paper Collections:
  1391.  
  1392.     Rumelhart, D.E, and McClelland, J.L., editors, "Parallel Distributed
  1393.     Processing: Explorations in the Microstructure of Cognition" (Vol. 1:
  1394.     Foundations; Vol. 2: Psychological and Biological Models),  Cambridge,
  1395.     MA: MIT Press, 1986.
  1396.  
  1397.     Waltz, D., and Feldman, J.A., "Connectionist Models and their
  1398.     Implications: Readings from _Cognitive Science_", Ablex, 1988.
  1399.  
  1400.     Mark Watson, "Common Lisp Modules -- Artificial Intelligence in the Era
  1401.     of Neural Networks and Chaos Theory", Springer-Verlag, 1991. Includes
  1402.     code written in Macintosh Common Lisp and uses the Mac graphical
  1403.     interface (the modules are portable to other Common Lisp
  1404.     implementations, but without the graphics).
  1405.  
  1406.     Anderson, J.A., and Rosenfeld, E., editors, "Neurocomputing:
  1407.     Foundations
  1408.  
  1409.     of Research", Cambridge MA: MIT Press, 1988.  Also "Neurocomputing Vol.
  1410.     2: Directions for Research", Cambridge MA: MIT Press, 1991.
  1411.  
  1412.     Hinton, G.E., and Anderson, J.A., editors, "Parallel Models of
  1413.     Associative Memory" (updated edition), Lawrence Erlbaum Associates,
  1414.     1989.
  1415.  
  1416.     Hinton, G.E., editor, "Connectionist Symbol Processing", MIT Press,
  1417.     1990. [Was a special issue of Artificial Intelligence, vol. 46, nos.
  1418.     1-2.]
  1419.  
  1420.     Touretzky, D.S., editor, "Neural Information Processing Systems",
  1421.     volumes 1-4 (1988-1991), Morgan Kaufmann.  [Proceedings from the
  1422.     premier conference on neural networks.]
  1423.  
  1424. Connectionist Language Processing:
  1425.  
  1426.     See the special issue of _Connection Science_, Volume 2 Numbers 1-2,
  1427.     1990. Also the Hinton collection "Connectionist Symbol Processing",
  1428.     above.
  1429.  
  1430. Connectionist Cognitive Science:
  1431.  
  1432.     Barnden, J.A., and Pollack, J.B., "Advances in Connectionist and Neural
  1433.     Computation Theory Vol. 1: High-Level Connectionist Models", Ablex,
  1434.     1991.
  1435.  
  1436.     Quinlan, P., "Connectionism and Psychology: A Psychological Perspective
  1437.     on New Connectionist Research", University of Chicago Press, 1991.
  1438.  
  1439.     Waltz, D., and Feldman, J.A., editors, "Connectionist Models and their
  1440.     Implications: Readings from _Cognitive Science_", Ablex, 1988.
  1441.  
  1442. Philosophical Foundations:
  1443.  
  1444.     Pinker, S., and Mehler, J, editors, "Connections and Symbols", MIT
  1445.     Press, 1988.  [Was Cognition special issue Volume 28, 1988]
  1446.  
  1447.     Clark, A., "Microcognition: Philosophy, Cognitive Science, and Parallel
  1448.     Distributed Processing", MIT Press, 1989.
  1449.  
  1450. ---------------------------------------------------------------- Subject:
  1451. [8]  Machine Learning
  1452.  
  1453. General:
  1454.  
  1455.     J. G. Carbonell, editor, "Machine Learning: Paradigms and Methods", MIT
  1456.     Press, Cambridge, MA 1990.
  1457.  
  1458.     Tom Mitchell, Jaime G. Carbonell, and Ryszard S. Michalski, "Machine
  1459.     Learning: A guide to current research", Kluwer Academic Publishers,
  1460.     Boston, 1986.
  1461.  
  1462.     J. W. Shavlik and T. D. Dietterich, editors, "Readings in Machine
  1463.     Learning", Morgan Kaufmann Publishers, 1990.
  1464.  
  1465.     [See also the article on Machine Learning from the Encyclopedia of
  1466.      Artificial Intelligence, pages 464-485.]
  1467.  
  1468. Decision Trees:
  1469.  
  1470.     Quinlan, J. Ross, "Induction of Decision Trees", Machine Learning
  1471.     1:81-106, 1986.
  1472.  
  1473.     Quinlan, J. Ross, "C4.5: Programs for Machine Learning", Morgan
  1474.     Kaufmann Publishers, 1992. ISBN 1-55860-238-0. $44.95 US, $49.45
  1475.     International. For a slight additional charge ($25), the book comes
  1476.     with software (ISBN 1-55860-240-2). For software only, (ISBN
  1477.     1-55860-239-9) $34.95 US, $38.45 International.
  1478.  
  1479. Probabilistic Clustering:
  1480.  
  1481.     Fisher, D.H., "Knowledge Acquisition Via Incremental Conceptual
  1482.     Clustering", Machine Learning 2:139-172, 1987. (Probabilistic
  1483.     clustering methods.)
  1484.  
  1485.     Clancey, W.J., "Classification Problem Solving", Proceedings of the
  1486.     National Conference on Aritificial Intelligence, 49-55, Los Altos, CA,
  1487.     Morgan Kaufmann. 1984.
  1488.  
  1489. Version Spaces:
  1490.  
  1491.     Tom M. Mitchell, "Generalization as Search", Artificial Intelligence
  1492.     18:203-226, 1982.
  1493.  
  1494. Machine Discovery:
  1495.  
  1496.     Langley, P., and Zytkow, J. M., "Data-driven approaches to empirical
  1497.     discovery", Artificial Intelligence 40:283-312, 1989.
  1498.  
  1499.     Langley, P., Simon, H.A., Bradshaw, G.L., and Zytkow, J.M., "Scientific
  1500.     Discovery: Computational Explorations of the Creative Processes", MIT
  1501.     Press, Cambridge, MA, 1987.
  1502.  
  1503.     Langley, P., Simon, H.A. and Bradshaw, G.L., "Heuristics for Empirical
  1504.     Discovery", in L. Bolc, editor, Computational Models of Learning,
  1505.     Springer-Verlag, 1987. Also appears as CMU CS Tech Report CMU-CS-84-14.
  1506.  
  1507. Chunking:
  1508.  
  1509.     Laird J.E., Rosenbloom, P.S. and Newell, A., "Chunking in SOAR: The
  1510.     Anatomy of a General Learning Mechanism", Machine Learning 1:1-46,
  1511.     1986.
  1512.  
  1513. Explanation-Based Learning:
  1514.  
  1515.     Mitchell, Tom M., Keller, R. M., and Kedar-Cabelli, S. T.,
  1516.     "Explanation-based learning: A unified view", Machine Learning 1:47-80,
  1517.     1986.
  1518.  
  1519. Derivational Analogy:
  1520.  
  1521.     Carbonell, J. G., "Derivational analogy: A theory of reconstructive
  1522.     problem solving and expertise acquisition." In R.S. Michalski, Jaime G.
  1523.     Carbonell, and Tom M. Mitchell, editors, Machine Learning: An
  1524.     Artificial Intelligence Approach, Morgan Kaufmann Publishers, San
  1525.     Mateo, CA, 1986.
  1526.  
  1527. Theoretical Results:
  1528.  
  1529.     Leslie G. Valiant, "A theory of the learnable", Communications of the
  1530.     ACM, 27(11):1134--1142, 1984.
  1531.  
  1532.     Haussler, D., "Quantifying Inductive Bias: AI Learning Algorithms and
  1533.     Valiant's Learning Framework", Artificial Intelligence, 36:177-221,
  1534.     1988.
  1535.  
  1536. ---------------------------------------------------------------- Subject:
  1537. [9]  Case-Based Reasoning
  1538.  
  1539.     Roger C. Schank, "Dynamic Memory: A Theory of Reminding and Learning in
  1540.     Computers and People", Cambridge University Press, New York, NY, 1982.
  1541.  
  1542.     Roger C. Schank and C. Riesbeck, "Inside Case-Based Reasoning",
  1543.     Lawrence Erlbaum Associates, Hillsdale, NJ, 1989.
  1544.  
  1545.     Craig Stanfill and David Waltz, "Toward Memory-Based Reasoning",
  1546.     Communications of the ACM, 29(12):1213-1228, December 1986.
  1547.     (Memory-based reasoning.)
  1548.  
  1549. ---------------------------------------------------------------- Subject:
  1550. [10] Genetic Algorithms
  1551.  
  1552. Overviews:
  1553.  
  1554.     L. B. Booker, D.E. Goldberg and J.H. Holland, "Classifier Systems and
  1555.     Genetic Algorithms", Artificial Intelligence 40(1-3):235-282, September
  1556.     1989.
  1557.  
  1558.     David E. Goldberg, "Genetic Algorithms in Search, Optimization, and
  1559.     Machine Learning", Addison-Wesley, Reading, MA, 1989, 412 pages. ISBN
  1560.     0-201-15767-5.
  1561.  
  1562.     Lawrence Davis (editor), "Handbook of Genetic Algorithms", Van Nostrand
  1563.     Reinhold, 1991, ISBN 0-442-00173-8.
  1564.  
  1565.     See also the July 1992 issue of Scientific American.
  1566.  
  1567. Collections:
  1568.  
  1569.     Davis, L., editor, "Genetic Algorithms and Simulated Annealing", Morgan
  1570.     Kaufmann, 1989.
  1571.  
  1572.     Rawlins, G., editor, "Foundations of Genetic Algorithms", Morgan
  1573.     Kaufmann, 1991.
  1574.  
  1575.     See also the Proceedings of the First/Second/Third/Fourth International
  1576.     Conference on Genetic Algorithms, published by Lawrence Erlbaum.
  1577.  
  1578. Miscellaneous:
  1579.  
  1580.     Holland, J.H. "Adaptation in Natural and Artificial Systems",
  1581.     University of Michigan Press, 1975.  Reprinted by MIT Press, 1992.
  1582.  
  1583.     Holland, J.H., Holyoak, K.J., Nisbett, R.E., and Thagard, P.R.,
  1584.     "Induction: Processes of Inference, Learning, and Discovery", MIT
  1585.     Press, 1988.
  1586.  
  1587. Genetic Programming:
  1588.  
  1589.     Koza, John R., "Genetic Programming:  On the programming of computers
  1590.     by means of natural selection", MIT Press, 1992. ISBN 0-262-11170-5
  1591.  
  1592. ---------------------------------------------------------------- Subject:
  1593. [11] Production Systems, Expert Systems and Match Algorithms
  1594.  
  1595. Overviews:
  1596.  
  1597.     Bruce G. Buchanan and Edward H. Shortliffe, "Rule-Based Expert Systems:
  1598.     The MYCIN Experiments of the Stanford Heuristic Programming Project",
  1599.     Addison-Wesley, Reading, MA, 1985. The Davis and King paper (chapter 4,
  1600.     "An overview of production systems") provides
  1601.  
  1602.     a good overview.
  1603.  
  1604.     Frederick Hayes-Roth, "The knowledge based expert system: A tutorial",
  1605.     IEEE Computer 17(9):11-28, 1984.
  1606.  
  1607.     Bruce G. Buchanan and R.O. Duda, "Principles of Rule-Based Systems",
  1608.     Tech Report HPP-82-14, 1982. (Discusses the design of expert systems,
  1609.     including representation, inference, and uncertainty management.
  1610.     Examples from numerous specific systems, and discusses which problems
  1611.     are suitable for attack by rule-based systems.)
  1612.  
  1613. OPS5: Charles L. Forgy, "OPS5 User's Manual", Technical Report
  1614.     CMU-CS-81-135, Carnegie Mellon University, School of Computer Science,
  1615.     Pittsburgh, PA 1981.
  1616.  
  1617. RETE: Charles L. Forgy, "RETE: A fast algorithm for the many pattern/many
  1618.     object pattern match problem", Artificial Intelligence 19(1):17-37,
  1619.     September 1982.
  1620.  
  1621. TREAT: Daniel P. Miranker, "TREAT: A better match algorithm for AI
  1622.     production systems". In Proceedings of the Sixth National Conference on
  1623.     Artificial Intelligence (AAAI-87), pages 42-47, August 1987.
  1624.  
  1625. MatchBox: Mark Perlin, "The match box algorithm for parallel production
  1626.     system match", Technical Report CMU-CS-89-163, Carnegie Mellon
  1627.     University, School of Computer Science, Pittsburgh, Pennsylvania, May
  1628.     1989.
  1629.  
  1630. DRETE: Michael A. Kelly and Rudolph E. Seviora, "An evaluation of DRETE on
  1631.     CUPID for OPS5 matching", in Proceedings of the Eleventh International
  1632.     Joint Conference on Artificial Intelligence (IJCAI-89), pages 84-90,
  1633.     Detroit MI, August 1989, Morgan Kaufmann Publishers.
  1634.  
  1635. ---------------------------------------------------------------- Subject:
  1636. [12] Integrated AI Architectures
  1637.  
  1638.     Kurt VanLehn, editor, "Architectures for Intelligence", Lawrence
  1639.     Erlbaum Associates, Hillsdale, NJ, 1991.
  1640.  
  1641.     SOAR: John E. Laird, Allen Newell, and Paul S. Rosenbloom, "SOAR: An
  1642.     Architecture for General Intelligence", Artificial Intelligence,
  1643.     33(1):1-64, 1987.
  1644.  
  1645.     PRODIGY: Steven Minton, Jaime G. Carbonell, Craig A. Knoblock, Daniel
  1646.     R. Kuokka, Oren Etzioni, and Yolanda Gil. "Explanation-based learning:
  1647.     A problem solving perspective". Technical Report CMU-CS-89-103,
  1648.     Carnegie Mellon University, School of Computer Science, Pittsburgh, PA,
  1649.     1989.
  1650.  
  1651.     THEO: Tom M. Mitchell, J. Allen, P. Chalasani, J. Cheng, Oren Etzioni,
  1652.     Marc Ringuette, and Jeffrey Schlimmer, "THEO: A Framework for
  1653.     Self-Improving Systems", in Kurt VanLehn, editor, Architectures for
  1654.     Intelligence, Lawrence Erlbaum Associates, Hillsdale, NJ, 1991.
  1655.  
  1656.     Subsumption Architectures: Brooks, R., "A Robust Layered Control System
  1657.     for a Mobile Robot", IEEE Journal of Robotics and Automation, RA-2,
  1658.     pages 14-23, April 1986.
  1659.  
  1660. ---------------------------------------------------------------- Subject:
  1661. [13] Fuzzy Logic
  1662.  
  1663.     Zadeh, L.A., "Fuzzy Sets," Information and Control, 8, 338-353, 1965.
  1664.  
  1665.     Klir, George J. and Folger, Tina A., "Fuzzy Sets, Uncertainty, and
  1666.     Information", Englewood Cliffs,  NJ: Prentice Hall, 1988.
  1667.  
  1668.     Zimmermann, Hans J., "Fuzzy Set Theory and its Applications", Boston,
  1669.     MA, Kluwer-Nijhoff Publishing, 1985.
  1670.  
  1671.     Didier Dubois, Henri Prade, and Ronald R. Yager, editors, "Readings in
  1672.     Fuzzy Systems", Morgan Kaufmann Publishers, 1992.
  1673.  
  1674.     Brubaker, D.I., "Fuzzy-logic Basics: Intuitive Rules Replace Complex
  1675.     Math," EDN, June 18, 1992.
  1676.  
  1677.     Schwartz, D.G. and Klir, G.J., "Fuzzy Logic Flowers in Japan," IEEE
  1678.     Spectrum, July 1992.
  1679.  
  1680.     Kosko, B., Neural Networks and Fuzzy Systems, Prentice Hall, Englewood
  1681.     Cliffs, NJ, 1992.
  1682.  
  1683. ---------------------------------------------------------------- Subject:
  1684. [14] Artificial Life
  1685.  
  1686.     The best source for information is the proceedings of the Artificial
  1687.     Life conferences. The proceedings were edited by Christopher G. Langton
  1688.     and published by Addison-Wesley. ISBN 0-201-09356-1 and 0-201-52751-2.
  1689.  
  1690.        Langton, C.G., editor, "Artificial Life" (Proceedings of the First
  1691.        International Conference), Addison-Wesley, 1989.
  1692.  
  1693.        Langton, C.G., Taylor, C., Farmer, J.D., and Rasmussen, S., editors,
  1694.        "Artificial Life II", Addison-Wesley, 1991.
  1695.  
  1696.     Forrest, S., editor, "Emergent Computation", MIT Press, 1991.
  1697.  
  1698.     Levy, S. "Artificial Life", 1992.  [A popularization]
  1699.  
  1700.     Jean-Arcady Meyer and Stewart W. Wilson, "From animals to animats:
  1701.     Proceedings of the First International Conference on Simulation of
  1702.     Adaptive Behavior (1990, Paris, France)", MIT Press, Cambridge, MA,
  1703.     1991.
  1704.  
  1705. ---------------------------------------------------------------- Subject:
  1706. [15]  Qualitative Physics and Model Based Reasoning
  1707.  
  1708. QP Theory: Forbus, K. D., Qualitative Process Theory, Artificial
  1709.     Intelligence, 24:85-168, 1984.
  1710.  
  1711. QSIM: Kuipers, B., Qualitative Reasoning with Causal Models in Diagnosis of
  1712.     Complex Systems, In D. S. Weld & J. deKleer, editors, Readings in
  1713.     Qualitative Reasoning about Physical Systems, pages 257-274, chapter
  1714.     10, Morgan Kaufmann Publishers, 1989.
  1715.  
  1716. MBR-based Diagnosis: Davis, R., Diagnostic Reasoning Based on Structure and
  1717.     Behavior, Artificial Intelligence, 24:347-410, 1984.
  1718.  
  1719. Function-based MBR: Sticklen, J., Chandrasekaran, B., & Bond, W.
  1720.     Distributed Causal Reasoning. Knowledge Acquisition, 1:139-162, 1989.
  1721.  
  1722. ---------------------------------------------------------------- Subject:
  1723. [16] Task-specific Architectures for Problem Solving
  1724.  
  1725. Generic Tasks: Chandrasekaran, B., Towards a Functional Architecture for
  1726.      Intelligence Based on Generic Information Processing Tasks, In
  1727.      IJCAI-87, pages 1183-1192, Milan, 1987.
  1728.  
  1729. Components of Expertise: Steels, L., The Components of Expertise. AI
  1730.      Magazine, Summer, 1990.
  1731.  
  1732. KADS: Breuker, J., & Wielinga, B., Models of Expertise in Knowledge
  1733.      Acquisition, in G. Guida & C. Tasso, editors, Topics in Expert Systems
  1734.      Design: Methodologies and Tools, Amsterdam: North Holland Publishing
  1735.      Company, 1989.
  1736.  
  1737. Role-limiting Methods: McDermott, J., Preliminary Steps Toward a Taxonomy
  1738.      of Problem-Solving Methods, in S. Marcus, editor, Automating Knowledge
  1739.      Acquisition for Expert Systems, pages 225-255, Boston: Kluver Academic
  1740.      Publishers, 1988.
  1741.  
  1742. ---------------------------------------------------------------- Subject:
  1743. [17] Automated Deduction
  1744.  
  1745.  
  1746.     C. Chang and R.C. Lee, "Symbolic Logic and Mechanical Theorem Proving",
  1747.     Academic Press, 1973.
  1748.  
  1749.     Alan Bundy, "The Computer Modelling of Mathematical Reasoning",
  1750.     Academic Press, 1983.
  1751.  
  1752.     David Duffy, "Principles of Automated Theorem Proving", John Wiley and
  1753.     Sons, 1991.
  1754.  
  1755.     Larry Wos and Ross Overbeek and Ewing Lusk and Jim Boyle, "Automated
  1756.     Reasoning. Introduction and Applications",  Second Edition,
  1757.     McGraw-Hill, 1992.
  1758.  
  1759. ---------------------------------------------------------------- Subject:
  1760. [18] Probabilistic Reasoning
  1761.  
  1762.     Neapolitan, Richard E., "Probabilistic Reasoning in Expert Systems:
  1763.     Theory and Algorithms", John Wiley and Sons, 1990.
  1764.  
  1765.     Oliver, Robert M., and Smith, James Q., editors, "Influence Diagrams,
  1766.     Belief Nets and Decision Analysis", John Wiley and Sons, 1990.
  1767.  
  1768.     Pearl, Judea, "Probabilistic Reasoning in Intelligent Systems: Networks
  1769.     of Plausible Inference", Morgan Kaufmann, San Mateo, California, 1988.
  1770.  
  1771.     Shafer, Glenn, and Pearl, Judea, "Readings in Uncertain Reasoning",
  1772.     Morgan Kaufmann, San Mateo, California, 1990.
  1773.  
  1774.  
  1775.     R.O. Duda, P.E. Hart, and N.J. Nilsson, "Subjective Bayesian Methods
  1776.     for Rule-Based Inference Systems", In Proceedings of the 1976 National
  1777.     Computer Conference, pages 1075-1082, AFIPS, 1976.
  1778.  
  1779. ---------------------------------------------------------------- Subject:
  1780. [19] Nonmonotonic Reasoning
  1781.  
  1782.     Matthew L. Ginsberg, "Readings in Nonmonotonic Reasoning", Morgan
  1783.     Kaufmann, San Mateo, CA, 1987.
  1784.  
  1785.     Reiter, Ray, "Nonmonotonic Reasoning", Annual Review of Computer
  1786.     Science, 2:147-186, 1987. (Appears in Ginsberg.)
  1787.  
  1788.     Doyle, J., "Truth Maintenance Systems", Artificial Intelligence,
  1789.     12(3):231-272, 1979.
  1790.  
  1791. ---------------------------------------------------------------- Subject:
  1792. [20] Robotics and Computer Vision
  1793.  
  1794.     John J. Craig, "Introduction to Robotics", Addison-Wesley, Reading, MA,
  1795.     1989.
  1796.  
  1797.     Martin A. Fischler and Oscar Firschein, editors, "Readings in Computer
  1798.     Vision", Morgan Kaufmann, San Mateo, CA, 1987.
  1799.  
  1800.     J. Michael Brady, "Computational approaches to image understanding",
  1801.     ACM Computing Surveys 14(1):3-71, March 1982. (Survey of methods in
  1802.     computer vision.)
  1803.  
  1804.     David Marr, "Vision: a computational investigation into the human
  1805.     representation and processing of visual information", W.H. Freeman, San
  1806.     Francisco, CA, 1982.
  1807.  
  1808.     [Three papers in the Encyclopedia of Aritificial Intelligence are
  1809.      relevant: Path planning and obstacle avoidance, pages 708-715 Mobile
  1810.      robots, pages 957-961 Sensors, pages 1031-1036]
  1811.  
  1812.     The 6.270 Robot Builder's Guide, by Fred Martin. Available by anonymous
  1813.     ftp from kame.media.mit.edu (18.85.0.45) in ~ftp/pub/fredm/README or in
  1814.     cherupakha.media.mit.edu:pub/6270/docs [18.85.0.47]. This directory
  1815.     contains "The 6.270 Robot Builder's Guide", the course notes to the
  1816.     1992 MIT LEGO Robot Design Competition. For more information, contact
  1817.     Fred Martin <fredm@media.mit.edu>.
  1818.  
  1819. ---------------------------------------------------------------- Subject:
  1820. [21] Distributed AI
  1821.  
  1822. Collections:
  1823.  
  1824.     Alan H. Bond and Les Gasser, "Readings in Distributed Artificial
  1825.     Intelligence", Morgan Kaufmann, San Mateo, CA, 1988.
  1826.  
  1827.     Michael N.  Huhns, ed., "Distributed Artificial Intelligence", Morgan
  1828.     Kaufmann, 1987.
  1829.  
  1830.     Les Gasser and Michael N.  Huhns, eds., "Distributed Artificial
  1831.     Intelligence, Volume II", Morgan Kaufmann, 1989.
  1832.  
  1833.     (Special Issue on Distributed AI) IEEE Transactions on Systems, Man,
  1834.     and Cybernetics, Vol. 11, No. 1, Jan 1981.
  1835.  
  1836.     (Special Issue on Distributed AI---10 years later) IEEE Transactions on
  1837.     Systems, Man, and Cybernetics, Vol. 21, No. 6, Nov/Dec 1991.
  1838.  
  1839.     Decentralized Artificial Intelligence, Y. Demazeau ed. 1990,
  1840.     Decentralized AI 2, Demazeau, Y. & Muller, J-P, eds. 1991,
  1841.     Decentralized AI 3, Werner & Demazeau eds. 1992, all published by
  1842.     Elsevier Science Publishers .
  1843.  
  1844. [Surveys can be found in the Bond & Gasser book listed above, and in: The
  1845. Handbook of AI volume 4 1989; IEEE Systems, Man, and Cybernetics-17(5)
  1846. 1987; Kluwer Academic's AI Review-6(1)1992.]
  1847.  
  1848. ---------------------------------------------------------------- Subject:
  1849. [22] User/Agent Modeling
  1850.  
  1851.     Rapaport,W. J. (1987) "Belief Systems", in the Encyclopedia of
  1852.     Artificial Intelligence, pp. 63-73.
  1853.  
  1854.     Afzal Ballim and Yorick Wilks, "Artifical Believers", Lawrence Erlbaum
  1855.     Associates, Hillsdale, NJ, 1991. ISBN 0-8058-0453-6. Contains a 92 page
  1856.     background section on belief modeling in AI, Philosophy, NLP and
  1857.     Linguistics.
  1858.  
  1859.     Kobsa, A. & Wahlster, W. (1989) "User Models in Dialog Systems."
  1860.     Springer-Verlag, Heidelberg.
  1861.  
  1862. See also the journal User Modeling and User-Adapted Interaction in [1-1].
  1863.  
  1864. ---------------------------------------------------------------- Subject:
  1865. [23] Philosophy of AI
  1866.  
  1867.     D. McDermott, "Artificial Intelligence Meets Natural Stupidity," in
  1868.     Mind Design: Philosophy, Psychology, Artificial Intelligence, J.
  1869.     Haugeland, editor, chapter 5, pp. 143-160, MIT Press, 1981.
  1870.  
  1871.     H.A. Simon, "Sciences of the Artificial", 2nd Edition, MIT Press, 1981.
  1872.  
  1873.     A.M. Turing, "Computing Machinery And Intelligence," Mind, vol. LIX,
  1874.     no. 236, 1950.  Reprinted in "Computers and Thought", Feigenbaum &
  1875.     Feldman (eds.), 1963.  Also reprinted in "The Mind's I", Hofstadter &
  1876.     Dennett (eds.).  Also reprinted in "Readings in Cognitive Science",
  1877.     Collins & Smith (eds.), section 1.1.
  1878.  
  1879.     Roger Penrose, "The Emperor's New Mind: Concerning computers, minds,
  1880.     and the laws of physics", Oxford University Press, New York, 1989, 466
  1881.     pages, $30.
  1882.  
  1883.     Douglas R. Hofstadter and Daniel C. Dennett, "The Mind's I: Fantasies
  1884.     and Reflections on Self and Soul", Basic Books, New York, 1981, 501
  1885.     pages, $15.50.
  1886.  
  1887.     Daniel C. Dennett, "Consciousness explained", 1st edition, Little,
  1888.     Brown and Company, Boston, 1991, 511 pages, $27.95.
  1889.  
  1890.     John Haugeland, "Artificial Intelligence: The very idea", MIT Press,
  1891.     Cambridge, MA, 1985, 287 pages.
  1892.  
  1893.     John Haugeland, editor, "Mind Design: Philosophy, Psychology,
  1894.     Artificial Intelligence", MIT Press, Cambridge, MA 1981, 368 pages.
  1895.  
  1896.     Margaret A. Boden, editor, "The Philosophy of Artificial Intelligence",
  1897.     Oxford University Press, New York, 1990, 452 pages.
  1898.  
  1899.     Hans Moravec, "Mind Children: The future of robot and human
  1900.     intelligence", Harvard University Press, Cambridge, MA, 1988, 214
  1901.     pages.
  1902.  
  1903.     Kirsh, D., editor, "Foundations of Artificial Intelligence, Special
  1904.     issues of Artificial Intelligence", The MIT Press, 1991.  Reprinted
  1905.     from Artificial Intelligence 47(1--3), 1991.
  1906.  
  1907. ---------------------------------------------------------------- Subject:
  1908. [24] What is Cyc?
  1909.  
  1910. Cyc is a project at MCC in Texas to build an enCYClopedic database and
  1911. reasoning engine for common sense knowledge.
  1912.  
  1913.     "CYC", AI Magazine 1986, 7(1), 1986.
  1914.  
  1915.     "Cyc: A Mid-Term Report," AI Magazine, 11(3):32-59, Fall 1990.
  1916.  
  1917.     "Cyc: Toward Programs With Common Sense," CACM, 33(8):30-49, August
  1918.     1990.
  1919.  
  1920.     "Knowledge and Natural Language Processing," CACM, Aug 1990.
  1921.  
  1922.     "When will machines learn?," Machine Learning, 4(3-4):255-257, December
  1923.     1989.
  1924.  
  1925.     D.B. Lenat, R.V. Guha, "Building Large Knowledge-Based Systems",
  1926.     Addison-Wesley, Reading, MA.
  1927.  
  1928. ---------------------------------------------------------------- Subject:
  1929. [25] Miscellaneous
  1930.  
  1931. Be sure to check the proceedings of the various national conferences in the
  1932. area that interests you.
  1933.  
  1934. PhD theses can often be obtained from University Microfilms Internatinal,
  1935. 300 North Zeeb Road, Ann Arbor, MI 48106.
  1936.  
  1937. ---------------------------------------------------------------- Subject:
  1938. [26] Videotapes and Magazines
  1939.  
  1940. Videotapes:
  1941.  
  1942.    The 4th episode of the PBS series "The Machine That Changed the World"
  1943.    is a good introduction to AI. It is available for $90 from Films for the
  1944.    Humanities, 1-800-257-5126.
  1945.  
  1946.    Morgan Kaufmann also has a good set of tapes of AI-related lectures, but
  1947.    it runs on the expensive side.
  1948.  
  1949.  
  1950. AI-related magazines include:
  1951.  
  1952.    AI EXPERT Miller Freeman, Inc., 600 Harrison Street, San Francisco, CA
  1953.    94107. Subscriptions: 1-800-274-2534 or 303-447-9330 $42/year (12
  1954.    issues), $6 extra in Canada and Mexico, $15 extra (surface mail) or $40
  1955.    (air mail) for overseas.
  1956.  
  1957.    PC AI 3310 West Bell Road, Suite 119, Phoenix, AZ 85023. Subscriptions:
  1958.    602-971-1869, fax 602-971-2321. $28/year (6 issues); $54 for two years;
  1959.    $78 for three years.
  1960.  
  1961.    $9 extra in Canada and Mexico, $25 extra (air mail) for all other
  1962.    countries.
  1963.  
  1964. ---------------------------------------------------------------- ·
  1965. Subject: FAQ: Artificial Intelligence FTP Resources 4/4 [Monthly posting]
  1966.  
  1967. Archive-name: ai-faq/part4 Last-Modified: Fri Mar 12 17:28:28 1993 by Mark
  1968. Kantrowitz Version: 1.4
  1969.  
  1970. ;;; **************************************************************** ;;;
  1971. Answers to Questions about Artificial Intelligence ************* ;;;
  1972. **************************************************************** ;;;
  1973. Written by Mark Kantrowitz ;;; ai-faq-4.text -- 60097 bytes
  1974.  
  1975. If you think of questions that are appropriate for this FAQ, or would like
  1976. to improve an answer, please send email to mkant+ai-faq@cs.cmu.edu.
  1977.  
  1978. Part 4 (FTP Resources): [4-0]  General Information about FTP Resources for
  1979.   AI [4-1]  FTP Repositories [4-2]  FTP and Other Resources [4-3]  AI
  1980.   Bibliographies available by FTP [4-4]  AI Technical Reports available by
  1981.   FTP [4-5]  Where can I get a machine readable dictionary, thesaurus, and
  1982.   other text corpora? [4-6]  List of Smalltalk implementations.
  1983.  
  1984. Search for [#] to get to question number # quickly.
  1985.  
  1986. ---------------------------------------------------------------- Subject:
  1987. [4-0]  General Information about FTP Resources for AI
  1988.  
  1989. In general, see the Lisp FAQ for Lisp-related software and the Prolog
  1990. Resource Guide and the Prolog FAQ for Prolog-related software. If a
  1991. Lisp-based or Prolog-based system is listed here, only the ftp site and
  1992. directory will be listed; for a more detailed description, see the Lisp FAQ
  1993. and the Prolog Resource Guide. For information on obtaining the Lisp FAQ or
  1994. the Prolog Resource Guide see [1-0].
  1995.  
  1996. ---------------------------------------------------------------- Subject:
  1997. [4-1]  FTP Repositories
  1998.  
  1999.    Ada Repository:
  2000.  
  2001.       The Ada Repository on wsmr-simtel20.army.mil (mailing list
  2002.       ada-sw@wsmr-simtel20.army.mil) contains a directory of AI programs in
  2003.       PD2:<ADA.AI>*.*. A somewhat easier to access copy of the archives is
  2004.       available as wuarchive.wustl.edu:/mirrors/ada/ai.
  2005.  
  2006.    UCLA Artificial Life Depository:
  2007.  
  2008.       ftp.cognet.ucla.edu (128.97.50.19):~ftp/pub/alife
  2009.  
  2010.       Repository of papers, articles, tech reports, software and other
  2011.       items of interest to Artificial Life researchers. It includes an
  2012.       archive of past postings to the alife mailing list,
  2013.       alife@cognet.ucla.edu (send mail to alife-request@cognet.ucla.edu to
  2014.       be added to the list).
  2015.  
  2016.       (Other artificial life information is available from santafe.edu in
  2017.        the directory pub/Artificial-Life-III.)
  2018.  
  2019.    Consortium for Lexical Research: clr.nmsu.edu [128.123.1.12]
  2020.       equivalently, lexical.nmsu.edu [128.123.1.12]
  2021.  
  2022.       Archive containing a variety of programs and data files related to
  2023.       natural language processing research, with a particular focus on
  2024.       lexical research.  See the file catalog-short for a quick listing of
  2025.       the contents of the archive. Long descriptions are in the info/
  2026.       subdirectory. Publicly available materials are in the pub/
  2027.       subdirectory. Materials for paid-up members of the Consortium are in
  2028.       the members-only/ subdirectory.  Public materials include the Alvey
  2029.       Natural Language Tools, Sowa's Conceptual Graph parser implemented in
  2030.       YACC by Maurice Pagnucco, a morphological parsing lexicon of English,
  2031.       a phonological rule compiler for PC-KIMMO, C source code for the NIST
  2032.       SGML parser, PC-KIMMO sources, the 1911 Roget Thesaurus, and a
  2033.       variety of word lists (including English, Dutch, and male/female/last
  2034.       names). Comments and questions may be directed to lexical@nmsu.edu.
  2035.  
  2036.    FJ Repository:
  2037.  
  2038.       The FJ Repository contains freeware from Japan (FJ = "From Japan").
  2039.       The fj.sources subdirectory is a good place to look for free software
  2040.       from Japan. Some files in the repository may contain Kana and Kanji
  2041.       characters. The repository is available by anonymous ftp from
  2042.       utsun.s.u-tokyo.ac.jp:fj/fj.sources [133.11.11.11] The file Index
  2043.       contains an index of all the files in each volume. Files of
  2044.       particular interest include: v07/786:  Portable Prolog for Common
  2045.       Lisp v25/2577: General-Purpose Fuzzy Inference Library Ver. 3.0 (1/1)
  2046.  
  2047.    Fuzzy Logic Repositories:
  2048.  
  2049.       ntia.its.bldrdoc.gov:pub/fuzzy contains information concerning fuzzy
  2050.       logic, including bibliographies (bib/), product descriptions and demo
  2051.       versions (com/), machine readable published papers (lit/),
  2052.       miscellaneous information, documents and reports (txt/), and
  2053.       programs, code and compilers (prog/). You may download new items into
  2054.       the new/ subdirectory. If you deposit anything in new/, please inform
  2055.       fuzzy@its.bldrdoc.gov. The repository is maintained by Timothy
  2056.       Butler, tim@its.bldrdoc.gov. The Fuzzy Logic Repository is also
  2057.       accessible through a mail server, rnalib@its.bldrdoc.gov. For help on
  2058.       using the server, send mail to the server with the following line in
  2059.       the body of the message: @DATAPHONE@        @@ help Other commands
  2060.       available include index, list, find, send, and credits.
  2061.  
  2062.       Ostfold Regional College in Norway recently started a ftp site for
  2063.       material related to fuzzy logic, ftp.dhhalden.no:fuzzy/. Material to
  2064.       be included in the archive (e.g., papers and code) may be placed in
  2065.       the upload/ directory. Now holds the files from Togai's mail-server,
  2066.       and other files from Timothy Butler's site ntia.its.bldrdoc.gov. It
  2067.       also includes some demo programs. Send email to Asgeir Osterhus,
  2068.       <asgeiro@dhhalden.no>.
  2069.  
  2070.       Togai InfraLogic, Inc. (TIL) also runs a fuzzy logic email server
  2071.       which contains demo versions of some of their software, fuzzy logic
  2072.       bibliographies, conference announcements, a short introduction to
  2073.       fuzzy logic, copies of the company newsletter, archives of
  2074.       comp.ai.fuzzy, and so on. See the entry in the answer to question
  2075.       [1-8] for more information on the company. To get started with the
  2076.       fuzzy logic email server, send a message with NO SUBJECT LINE to
  2077.       fuzzy-server@til.com, containing just the word "help" in the message
  2078.       body.  The server will reply with a set of instructions.  Please
  2079.       address any comments, questions or requests to either erik@til.com or
  2080.       tanaka@til.com. Most of the contents of the TIL server is mirrored at
  2081.       Tim Butler's fuzzy logic ftp repository at ntia.its.bldrdoc.gov and
  2082.       at Ostfold ftp repository at ftp.dhhalden.no.  For more information,
  2083.       write to Togai InfraLogic, Inc., 5 Vanderbilt, Irvine, CA 92718 or
  2084.       call 714-975-8522.
  2085.  
  2086.       The Aptronix FuzzyNet files are available through an email server.
  2087.       Send email to fuzzynet@aptronix.com with "help" in the message body
  2088.       to get instructions on how to retrieve files. "catalog" or "index"
  2089.       will get you a listing of available files. (You can also connect to
  2090.       the FuzzyNet repository by modem to Aptronix FuzzyNet 408-428-1883
  2091.       N/8/1 1200-19,200 baud.) Files on the server include descriptions of
  2092.       fuzzy logic applications (e.g., washing machines, camera focusing,
  2093.       air conditioning), introductory materials, Fide related information,
  2094.       archives of comp.ai.fuzzy, etc.  If you'd like to have a file
  2095.       included in the FuzzyNet server (e.g., moderate length technical
  2096.       reports), send email to Scott Irwin <irwin@aptronix.com>.
  2097.  
  2098.    Genetic Algorithms:
  2099.  
  2100.       The Genetic Algorithms Repository is located at ftp.aic.nrl.navy.mil.
  2101.       It includes past copies of the genetic algorithms digest in
  2102.       /pub/galist/, a copy of Nici Schraudolph's survey of free and
  2103.       commercial GA software in
  2104.       /pub/galist/information/ga-software-survey.txt (send email to
  2105.       <schraudo@cs.ucsd.edu> to add to the list), and some software,
  2106.       including GAC (a simple GA written in C), GAL (a simple GA written in
  2107.       Common Lisp), GAucsd, GECO (a Common Lisp toolbox for constructing
  2108.       genetic algorithms), GENESIS, GENOCOP, Paragenesis (a parallel
  2109.       version of GENESIS that runs on the CM-200), SGA-C (a C
  2110.       implementation/extension of Goldberg's SGA system).
  2111.  
  2112.    UC/Irvine (UCI) AI/Machine Learning Repository:
  2113.  
  2114.       ics.uci.edu has a variety of AI-related materials, with a special
  2115.       focus on machine learning. The directory
  2116.       /pub/machine-learning-databases contains over 80 benchmark data sets
  2117.       for classifier systems (30mb).
  2118.  
  2119.       Site Librarian: Patrick M. Murphy (ml-repository@ics.uci.edu)
  2120.       Off-Site Assistant: David W. Aha (aha@insight.cs.jhu.edu)
  2121.  
  2122.    Machine Learning:
  2123.  
  2124.       Various programs (e.g., ID3) and publications related to machine
  2125.       learning are available by anonymous ftp from the machine learning
  2126.       group (under Raymond Mooney) at UT-Austin, at
  2127.       cs.utexas.edu:pub/mooney. Subdirectories include ml-course
  2128.       information and homeworks from a graduate course in machine learning
  2129.       taught by Dr. Mooney. Homeworks include "miniatures" of various
  2130.       machine learning systems written in Common Lisp. ml-code
  2131.       Common Lisp code corresponding to the assignments for the course in
  2132.       the ml-course directory. ml-progs       More "research-level"
  2133.       versions of inductive classification algorithms and software for
  2134.       automated experiments that generation learning curves that compare
  2135.       several systems. papers         Publications producted by the machine
  2136.       learning research group.
  2137.  
  2138.    Machine Learning Algorithms Implemented in Prolog:
  2139.  
  2140.       In 1988 the Special Interest Group on Machine Learning of the German
  2141.       Society for Computer Science (GI e.V.) decided to establish a library
  2142.       of PROLOG implementations of Machine Learning algorithms. The library
  2143.       includes - amongst others - PROLOG implementations of Winston's arch,
  2144.       Becker's AQ-PROLOG, Fisher's COBWEB, Brazdil's generation of
  2145.  
  2146.       discriminations from derivation trees, Quinlan's ID3, inverse
  2147.       resolution, and Mitchell's version spaces algorithm. The programs are
  2148.       currently available via anonymous ftp-server from the GMD:
  2149.  
  2150.            ftp.gmd.de:/gmd/mlt/ML-Program-Library [129.26.8.90]
  2151.  
  2152.       Send additional PROLOG implementations of Machine Learning
  2153.       Algorithms, complaints about them and detected bugs or problems to
  2154.       Thomas Hoppe, <hoppet@cs.tu-berlin.de>. Send suggestions and
  2155.       complaints about the ftp library to Werner Emde, Gesellschaft fuer
  2156.       Mathematik und Datenverarbeitung, Bonn, <emde@gmdzi.gmd.de>.
  2157.  
  2158.    CMU Simulator Collection:
  2159.  
  2160.       The CMU Simulator Collection is available by anonymous ftp from
  2161.       ftp.cs.cmu.edu [128.2.206.173] in the directory
  2162.       /afs/cs.cmu.edu/project/connect/code/ The collection includes Lisp
  2163.       and C implementations of Scott Fahlman's Cascade Correlation
  2164.       algorithm, Scott Fahlman's Quickprop variation on the
  2165.       back-propagation algorithm, and Scott Fahlman's Recurrent
  2166.       Cascade-Correlation simulator. The collection also includes
  2167.       Aspririn/Migraines and Tesauro. The neural network benchmark
  2168.       collection is available in /afs/cs.cmu.edu/project/connect/bench/ The
  2169.       data sets include the NETtalk data, a vowel recognition task, and
  2170.       several others. The archives of the connectionists mailing list are
  2171.       kept in /afs/cs.cmu.edu/project/connect/connect-archives/ along with
  2172.       a Lisp implementation of a backprop simulator.
  2173.  
  2174.    Funic Neural FTP Archive Site:
  2175.  
  2176.       The Finnish University maintains an archive site containing a large
  2177.       collection of neural network papers and public domain software
  2178.       gathered from FTP sites in the US. The files are available by
  2179.       anonymous ftp from funic.funet.fi:/pub/sci/neural [128.214.6.100].
  2180.       (Also know as ftp.funet.fi, nic.funet.fi.)  See the file 01README for
  2181.       details. A list of mirrored ftp sites is in 04Neural_FTP_Sites.  For
  2182.       further information, contact neural-adm@funic.funet.fi or Marko
  2183.       @DATAPHONE@      Gronroos <magi@funic.funet.fi> (or <magi@utu.fi>).
  2184.  
  2185.    OSU Neuroprose: archive.cis.ohio-state.edu:/pub/neuroprose
  2186.       [128.146.8.52]
  2187.  
  2188.       This directory contains technical reports as a public service to the
  2189.       connectionist and neural network scientific community which has an
  2190.       organized mailing list (for info: connectionists-request@cs.cmu.edu)
  2191.  
  2192.    NL Software Registry:
  2193.  
  2194.       The Natural Language Software Registry is a catalogue of software
  2195.       implementing core natural language processing techniques, whether
  2196.       available on a commercial or noncommercial basis. Some of the topics
  2197.       listed include speech signal processing, morphological analysis,
  2198.       parsers, and knowledge representation systems. The catalogue is
  2199.       available from the German Research Institute for Artificial
  2200.       Intelligence (DFKI) in Saarbruecken (Germany) by anonymous ftp to
  2201.       ftp.dfki.uni-sb.de:registry/, email to registry@dfki.uni-sb.de, or
  2202.       physical mail to NL Software Registry, Deutsches Forschungszentrum
  2203.       fuer Kuenstliche Intelligenz, Stuhlsatzenhausweg 3, D-W-6600
  2204.       Saarbruecken, Germany, or by telephone to +49 (681) 303-5282.
  2205.  
  2206.    Miscellaneous AI:
  2207.  
  2208.       Some miscellaneous AI programs may be found on ftp.uu.net:/pub/ai
  2209.       Most are mirrors of programs available at other sites.
  2210.  
  2211.       AI_ATTIC is an anonymous ftp collection of classic AI programs and
  2212.       other information maintained by the University of Texas at Austin.
  2213.       It includes Parry, Adventure, Shrdlu, Doctor, Eliza, Animals, Trek,
  2214.       Zork, Babbler, Jive, and some AI-related programming languages.  This
  2215.       archive is available by anonymous ftp from ftp.cc.utexas.edu
  2216.       (bongo.cc.utexas.edu, 128.83.186.13) in the directory /pub/AI_ATTIC.
  2217.       For more information, contact atticmaster@bongo.cc.utexas.edu.
  2218.  
  2219. ---------------------------------------------------------------- Subject:
  2220. [4-2]  FTP and Other Resources
  2221.  
  2222. In addition to programs available free by anonymous ftp, we've included
  2223. some programs which are available by contacting the authors, and some
  2224. programs which charge a nominal fee.
  2225.  
  2226.    Agent Modelling:
  2227.  
  2228.       ViewGen (Viewpoint Generator) is a Prolog program that implements a
  2229.       "Belief Ascription Algorithm" as described in Ballim and Wilks (see
  2230.       the bibliography section on User Modelling).  This can be seen as a
  2231.       form of agent modelling tool, which allows for the generation of
  2232.       arbitrarily deep nested belief spaces based on the system's own
  2233.       beliefs, and on beliefs that are typically held by groups of agents.
  2234.       ViewGen is available by anonymous ftp from
  2235.       crl.nmsu.edu:pub/ViewFinder            [128.123.1.18] (user
  2236.       anonymous) ftp.ims.uni-stuttgart.de:pub/ballim    [141.58.127.8]
  2237.       (user ftp) as the file ViewGen.tar.Z. The theory of belief ascription
  2238.       upon which it is based is described in detail in Ballim and Wilks,
  2239.       and a general framework for attributing and maintaining nested
  2240.       propositional attitudes is described in Afzal Ballim's dissertation
  2241.       which is archived with the Viewgen program (in the files
  2242.       ViewFinder-{A4/A5/US}.tar.Z, the variable part indicating the format
  2243.       of the PostScript file). The inheritance reasoner is in the file
  2244.       vf-hetis.tar.Z. Implemented in Sicstus prolog, and hence easily
  2245.       convertible to any Edinburgh-style prolog. Contact Afzal Ballim
  2246.       <afzal@divsun.unige.ch> for more information.
  2247.  
  2248.    Artificial Life:
  2249.  
  2250.       Tierra is an artificial life system for studying the evolution of
  2251.       digital organisms. Tierra runs in Unix and MS-DOS. Source code and
  2252.       documentation is available by anonymous ftp at tierra.slhs.udel.edu
  2253.       (128.175.41.34) and life.slhs.udel.edu (128.175.41.33) in the
  2254.       directories almond/, beagle/, doc/, and tierra/.  To be added to
  2255.       either the tierra-announce (official announcements only) or
  2256.       tierra-digest (moderated discussion plus announcements) mailing
  2257.       lists, send mail to tierra-request@life.slhs.udel.edu. Send bug
  2258.       reports to tierra-bug@life.slhs.udel.edu.
  2259.  
  2260.    Blackboard Architectures:
  2261.  
  2262.         GBB (PD Version) -- dime.cs.umass.edu:/gbb
  2263.  
  2264.         GEST   -- Contact: Susan Coryell <scoryell@gtri01.gatech.edu>
  2265.                   Blackboard system. Runs on Symbolics and SUN. Georgia
  2266.                   Tech's Generic Expert System Tool (GEST) Available to
  2267.                   academic institutions for classroom use.
  2268.  
  2269.    Case-based Reasoning:
  2270.  
  2271.         CL-Protos   -- cs.utexas.edu:/pub/porter Contact: Dan Dvorak
  2272.                        <dvorak@cs.utexas.edu> Ray Bareiss
  2273.                        <bareiss@ils.nwu.edu> Erik Eilerts
  2274.                        <eilerts@cs.utexas.edu> Bruce W. Porter
  2275.                        <porter@cs.utexas.edu>
  2276.  
  2277.         MICRO-xxx  -- Contact: waander@cs.umd.edu
  2278.  
  2279.    Chess:
  2280.  
  2281.       The SAN Kit chess programming C source toolkit provides common
  2282.       routines for move notation I/O, move generation, move execution, etc.
  2283.       Only search routines and an evaluation function need be added to
  2284.       obtain a working chess program. It runs on Apple Macintosh (Think C
  2285.       5.0), Commodore Amiga (SAS C), MS-DOS, and Unix. It is available by
  2286.       anonymous ftp from valkyries.andrew.cmu.edu [128.2.232.4] in the
  2287.       directory pub/chess/misc as the compressed tar file san.tar.Z.
  2288.       Contact Steven J. Edwards, sje@xylos.ma30.bull.com for more
  2289.       information.
  2290.  
  2291.    Eliza and Similar Programs:
  2292.  
  2293.       The software from Peter Norvig's book "Paradigms of AI Programming"
  2294.       is available by anonymous ftp from unix.sri.com:pub/norvig and on
  2295.       disk in Macintosh or DOS format from the publisher, Morgan Kaufmann.
  2296.       The software includes Common Lisp implementations of: Eliza and
  2297.       pattern matchers, Emycin, Othello, Parsers, Scheme interpreters and
  2298.       compilers, Unification and a prolog interpreter and compiler, Waltz
  2299.       line-labelling, implementation of GPS, macsyma, and random number
  2300.       generators.  For more information, write to Morgan Kaufmann, Dept.
  2301.       P1, 2929 Campus Drive, Suite 260, San Mateo CA 94403, call
  2302.       800-745-7323, or fax 415-578-0672. (Mac ISBN 1-55860-227-5; DOS 3.5"
  2303.       ISBN 1-55860-228-3; or DOS 5.25" ISBN 1-55860-229-1).
  2304.  
  2305.       The doctor.el is an implementation of Eliza for GNU-Emacs emacs-lisp.
  2306.       Invoke it with "Meta-X doctor".
  2307.  
  2308.       Source code for ELIZA in Prolog (implemented by Viren Patel) is
  2309.       available by ftp from aisun1.ai.uga.edu.
  2310.  
  2311.       muLISP-87 (a MSDOS Lisp sold by Soft Warehouse) includes a Lisp
  2312.       implementation of Eliza.
  2313.  
  2314.       Compute!'s Gazette, June 1984, includes source for a BASIC
  2315.       implementation of Eliza. You can also find it in 101 more computer
  2316.       games, edited by David Ahl, published by Creative Computing (alas,
  2317.       they're defunct, and the book is out of print).
  2318.  
  2319.       Herbert Schildt "Artificial Intelligence using C", McGraw-Hill, 1987,
  2320.       ISBN 0-07-881255-0, pp315-338, includes a simple version of DOCTOR.
  2321.  
  2322.       ucsd.edu:pub/pc-ai contains implementations of Eliza for the IBM PC.
  2323.  
  2324.       The original Parry (in MLISP for a PDP-10) is available in
  2325.       labrea.stanford.edu:/pub/parry.tar.Z.
  2326.  
  2327.       RACTER is *not* public domain. According to A.K. Dewdney's book, "The
  2328.       Armchair Universe", Racter is available from John Owens, INRAC, Inc.,
  2329.       12 Schubert St., Staten Island, NY 10305. It was published in 1984,
  2330.       and written in compiled BASIC.
  2331.  
  2332.    Expert Systems:
  2333.  
  2334.  
  2335.       FOCL   -- ics.uci.edu:pub/SaranWrap/{README,KR-FOCL-ES.cpt.hqx}
  2336.                 Contact: pazzani@ics.uci.edu Expert System Shell and
  2337.                 Machine Learning Program; Extends Quinlan's FOIL.
  2338.  
  2339.       OPS5   -- ftp.cs.cmu.edu:/afs/cs/user/mkant/Public/Lisp/ops5.tar.Z
  2340.  
  2341.       BABYLON-- gmdzi.gmd.de:gmd/ai-research/Software/ (129.26.8.90)
  2342.                 (BinHexed stuffit archive of Babylon) Development
  2343.                 environment for expert systems.
  2344.  
  2345.       CLIPS is an OPS-like forward chaining production system written in
  2346.       ANSI C by NASA. The CLIPS inference engine includes truth
  2347.       maintenance, dynamic rule addition, and customizable conflict
  2348.       resolution strategies. CLIPS, including the runtime version, is
  2349.       easily embeddable in other applications. CLIPS runs on IBM PC
  2350.       compatibles, Macintosh, VAX 11/780, Sun 3/260, and HP9000/500.  CLIPS
  2351.       is available from COSMIC at a nominal fee for unlimited copies with
  2352.       no royalties.  For more information, email
  2353.       service@cossack.cosmic.uga.edu, write COSMIC, University of Georgia,
  2354.       382 East Broad Street, Athens, GA 30602, call 404-542-3265, or fax
  2355.       404-542-4807. To subscribe to the CLIPS mailing list, send a message
  2356.       to the list server listserv@cossack.cosmic.uga.edu (128.192.14.4)
  2357.       with message body SUBSCRIBE CLIPS-LIST. An electronic bulletin board
  2358.       containing information regarding CLIPS can be reached 24 hours a day
  2359.       at 713-280-3896 or 713-280-3892. Communications information is 300,
  2360.       1200, or 2400 baud, no parity, 8 data bits, and 1 stop bit. The CLIPS
  2361.       help desk phone number is 713-280-2233 and email address is
  2362.       stbprod@krakatoa.jsc.nasa.gov. The book "Expert Systems: Principles
  2363.       and Programming" by Joseph Girrantano and Garey Riley comes with an
  2364.       MS-DOS CLIPS interpreter.
  2365.  
  2366.    Frame Systems:
  2367.  
  2368.         FrameWork   -- ftp.cs.cmu.edu:
  2369.                        /afs/cs.cmu.edu/user/mkant/Public/Lisp/framework.lisp
  2370.  
  2371.         Theo        -- Contact: Tom.Mitchell@cs.cmu.edu
  2372.  
  2373.         FrameKit    -- Contact: Eric.Nyberg@cs.cmu.edu
  2374.  
  2375.         KR          -- Contact: Brad.Myers@cs.cmu.edu
  2376.  
  2377.         PARKA       -- Contact: spector@cs.umd.edu Frames for the CM
  2378.  
  2379.         PARMENIDES (Frulekit) -- Contact: Peter.Shell@cs.cmu.edu
  2380.  
  2381.         FROBS       -- cs.utah.edu:/pub/frobs.tar.Z Contact: Robert Kessler
  2382.                        <kessler@cs.utah.edu>
  2383.  
  2384.         PFC         -- linc.cis.upenn.edu:
  2385.  
  2386.         YAK         -- Contact: Enrico Franconi <franconi@irst.it>
  2387.  
  2388.    Fuzzy Logic:
  2389.  
  2390.       FLIE    -- ural.ethz.ch:/robo/flie Contact: vestli@ifr.ethz.ch Fuzzy
  2391.                  Logic Inference Engine, Institute of Robotics, ETH.
  2392.  
  2393.    Game Playing:
  2394.  
  2395.       METAGAME is a game-playing workbench for developing and playing
  2396.       metagame programs. It includes a generator for symmetric chess-like
  2397.       games; definitions of chess, checkers, chinese chess, shogi, lose
  2398.       chess, lose checkers, french checkers, and tic tac toe translated
  2399.       into symmetric chess-like games; a legal move generator; and a
  2400.       variety of player programs, from simple through sophisticated.  The
  2401.       METAGAME Workbench runs in Quintus or Sictus Prolog.  Available by
  2402.       anonymous ftp from ftp.cl.cam.ac.uk [128.232.0.56] in
  2403.       users/bdp/metagame.tar.Z. For more information, contact Barney Pell
  2404.       <bdp@cl.cam.ac.uk> of the University of Cambridge Computer
  2405.       Laboratory.
  2406.  
  2407.    Genetic Algorithms:
  2408.  
  2409.       SCS (Simple Classifier System) is a C port of the system from
  2410.       Appendix D of "Genetic Algorithms in Search, Optimization, and
  2411.       Machine Learning" by David E. Goldberg. It was ported to C by Erik
  2412.       Mayer <emayer@uoft02.utoledo.edu>. For more information, contact the
  2413.       author.
  2414.  
  2415.       GASSY is a library of routines in C for implementing genetic
  2416.       algorithms. It is available by anonymous ftp from
  2417.       piggy.cogsci.indiana.edu:pub/gassy-2.0.tar.Z. For further
  2418.       information, contact the author, Terry Jones, <terry@santafe.edu>.
  2419.  
  2420.       Other packages are listed in Nici Schraudolph's survey of free and
  2421.       commercial GA software (see the Genetic Algorithms Repository in
  2422.       [4-1]).
  2423.  
  2424.    ICOT:
  2425.  
  2426.       Japan's Institute for New Generation Computer Technology (ICOT) has
  2427.       made their software available to the public free of charge.  The
  2428.       collection includes a variety of prolog-based programs in symbol
  2429.       processing, knowledge representation, reasoning and problem solving,
  2430.       natural language processing. All programs are available by anonymous
  2431.       ftp from ftp.icot.or.jp.  Note that most of the programs are written
  2432.       for the PSI machines, and very few have been ported to Unix-based
  2433.       emulators.  For further information, send email to ifs@icot.or.jp, or
  2434.       write to ICOT Free Software Desk, Institute for New Generation
  2435.       Computer Technology, 21st Floor, Mita Kokusai Bldg., 4-28, Mita
  2436.       1-chome, Minato-ku, Tokyo 108, Japan, fax +81-3-4456-1618.
  2437.  
  2438.    Knowledge Representation:
  2439.  
  2440.       KNOWBEL -- ai.toronto.edu:/pub/kr/{knowbel.tar.Z,manual.txt.tar.Z}
  2441.                  Contact: Bryan M. Kramer, <kramer@ai.toronto.edu> Telos
  2442.                  temporal/sorted logic system.
  2443.  
  2444.       SB-ONE  -- Contact: kobsa@cs.uni-sb.de KL-ONE family KRIS    --
  2445.                  Contact: baader@dfki.uni-kl.de KL-ONE family (Symbolics
  2446.                  only) BACK    -- Contact: back@cs.tu-berlin.de KL-ONE
  2447.                  family CLASSIC -- Contact: dlm@research.att.com KL-ONE
  2448.                  family MOTEL   -- Contact: hustadt@mpi-sb.mpg.de Modal
  2449.                  KL-ONE (contains KRIS as a kernel). Implemented in Prolog.
  2450.  
  2451.       FOL GETFOL -- Contact: fausto@irst.it Weyrauch's FOL system
  2452.  
  2453.       SNePS   -- Contact: shapiro@cs.buffalo.edu Semantic Nets
  2454.  
  2455.       COLAB/RELFUN  -- Contact: boley@informatik.uni-kl.de Logic
  2456.                        Programming COLAB/FORWARD -- Contact:
  2457.                        hinkelma@dfki.uni-kl.de Logic Programming
  2458.                        COLAB/CONTAX  -- Contact: meyer@dfki.uni-kl.de
  2459.                        Constraint System for Weighted Constraints over
  2460.                        Hierarchically Structured Finite Domains.
  2461.                        COLAB/TAXON   -- Contact: hanschke@dfki.uni-kl.de
  2462.                        Terminological Knowl. Rep. w/Concrete Domains
  2463.  
  2464.    Machine Learning:
  2465.  
  2466.       COBWEB/3 -- Contact: cobweb@ptolemy.arc.nasa.gov
  2467.  
  2468.       FOIL     -- cluster.cs.su.oz.au [129.78.8.1] ~ftp/pub/foil4.sh
  2469.                   contains source, a brief manual, and several sample
  2470.                   datasets.
  2471.  
  2472.       RWM      -- Contact: H. Altay Guvenir <guvenir@trbilun.bitnet> RWM is
  2473.                   a program for learning problem solving strategies,
  2474.                   written in Common Lisp (tested on Suns and NeXT).
  2475.  
  2476.       IND      -- Contact: NASA COSMIC, <service@cossack.cosmic.uga.edu>
  2477.                   Tel: 706-542-3265 (ask for customer support) Fax:
  2478.                   706-542-4807 IND is a C program for the creation and
  2479.                   manipulation of decision trees from data, integrating the
  2480.                   CART, ID3/C4.5, Buntine's smoothing and option trees,
  2481.                   Wallace and Patrick's MML method, and Oliver and
  2482.                   Wallace's MML decision graphs which extend the tree
  2483.                   representation to graphs. Written by Wray Buntine,
  2484.                   <wray@kronos.arc.nasa.gov>.
  2485.  
  2486.    Medical Reasoning:
  2487.  
  2488.       TMYCIN -- sumex-aix.stanford.edu:/tmycin
  2489.  
  2490.    Natural Language Processing:
  2491.  
  2492.       YACC      -- ftp.cs.cmu.edu:
  2493.                    /afs/cs/user/mkant/Public/Lisp/johnson-yacc.lisp
  2494.                    Contact: Mark Johnson <mj@cs.brown.edu> Lisp
  2495.                    YACC/Parser.
  2496.  
  2497.       BABBLER   -- Contact: rsf1@ra.msstate.edu Markov chains/NLP
  2498.  
  2499.       PENMAN    -- Contact: hovy@isi.edu Natural Language Generation.
  2500.  
  2501.       PC-KIMMO  -- msdos.archive.umich.edu:/msdos/linguistics/pckim105.zip
  2502.                    An implementation of KIMMO morphological analyzer for
  2503.                    the IBM PC.
  2504.  
  2505.       FUF       -- Contact: elhadad@bengus.bgu.ac.il cs.columbia.edu: or
  2506.                       ftp: black.bgu.ac.il:/pub/fuf/fuf5.2.tar.Z
  2507.                       surge.tar.Z Natural language generation system based
  2508.                       on Functional Unification Grammars. Includes unifier,
  2509.                       large grammar of English (surge) user manual and many
  2510.                       examples.  Written in Common Lisp.
  2511.  
  2512.       The Link Parser is a highly efficient English parser written by Danny
  2513.       Sleator and Davy Temperley. It uses a novel grammatical formalism
  2514.       known
  2515.  
  2516.       as Link Grammar to represent a robust and diverse collection of
  2517.       English-language phenomena. The system is available by anonymous ftp
  2518.       from spade.pc.cs.cmu.edu in the directory /usr/sleator/public/. Read
  2519.       the README file for more information.
  2520.  
  2521.    Neural Networks:
  2522.  
  2523.       Aspirin/MIGRAINES is a neural network simulator available free from
  2524.       the MITRE Corporation. It contains a neural network simulation code
  2525.       generator which generates high performance C code implementations for
  2526.       backpropagation networks. It runs on the following platforms: Apollo,
  2527.       Convex, Cray, DecStation, HP, IBM RS/6000, Intel 486/386 (Unix System
  2528.       V), NeXT, News, Silicon Graphics Iris, Sun3, Sun4, Mercury i860
  2529.       (40MHz) Coprocessors, Meiko Computing Surface w/i860 (40MHz) Nodes,
  2530.       Skystation i860 (40MHz) Coprocessors, and iWarp Cells. The software
  2531.       is available by anonymous ftp from the CMU simulator collection on
  2532.       pt.cs.cmu.edu (128.2.254.155) in the directory
  2533.       /afs/cs/project/connect/code (you must cd to this directory in one
  2534.       atomic operation) and UCLA's cognitive science collection on
  2535.       ftp.cognet.ucla.edu (128.97.50.3) in the directory alexis as the file
  2536.       am6.tar.Z. They include many examples in the release, include an
  2537.       implementation of NETtalk. For more information, contact Russell
  2538.       Leighton <leighton@mitre.org>.
  2539.  
  2540.       MUME (Multi-Module Neural Computing Environment) is a simulation
  2541.       environment for multi-modules neural computing. It provides an object
  2542.       oriented facility for the simulation and training of multiple nets
  2543.       with various architectures and learning algorithms.  The object
  2544.       oriented structure makes simple the addition of new network classes
  2545.       and new learning algorithms. _ MUME includes a library of network
  2546.       architectures including feedforward, simple recurrent, and
  2547.       continuously running recurrent neural networks.  Each architecture is
  2548.       supported by a variety of learning algorithms, including backprop,
  2549.       weight perturbation, node perturbation, and simulated annealing.
  2550.       MUME can be used for large scale neural network simulations as it
  2551.       provides support for learning in multi-net environments. It also
  2552.       provide pre- and post-processing facilities.  MUME can be used to
  2553.       include non-neural computing modules (decision trees, etc.) in
  2554.       applications. _ MUME is being developed at the Machine Intelligence
  2555.       Group at Sydney University Electrical Engineering. The software is
  2556.       written in 'C' and is being used on Sun and DEC workstations. Efforts
  2557.       are underway to port it to the Fujitsu VP2200 vector processor using
  2558.       the VCC vectorising C compiler, HP 9000/700, SGI workstations, DEC
  2559.       Alphas, and PC DOS (with DJGCC). MUME is available to research
  2560.       institutions on a media/doc/postage cost arrangement. It is also
  2561.       available free for MSDOS by anonymous ftp from
  2562.       brutus.ee.su.oz.au:/pub/MUME-0.5-DOS.zip For further information,
  2563.       write to Marwan Jabri, SEDAL, Sydney University Electrical
  2564.       Engineering, NSW 2006 Australia, call +61-2-692-2240, fax
  2565.       +61-2-660-1228, or send email to Marwan Jabri
  2566.       <marwan@sedal.su.oz.au>. To be added to the mailing list, send email
  2567.       to mume-request@sedal.su.oz.au.
  2568.  
  2569.       Adaptive Logic Network (ALN) The atree adapative logic network
  2570.       simulation package is available by anonymous ftp from
  2571.       menaik.cs.ualberta.ca [129.128.4.241] in pub/atree2.tar.Z (Unix). The
  2572.       MS-Windows 3.x and IBM PC version is available as either
  2573.       pub/atre27.exe (includes C/C++ sources) or pub/a27exe.exe (just the
  2574.       executables).  Documentation is in pub/atree2.ps.Z. To be added to
  2575.       the mailing list, send email to alnl-request@cs.ualberta.ca. For more
  2576.       information, contact William W. Armstrong, <arms@cs.ualberta.ca>.
  2577.  
  2578.       BPS Neural network simulator. Other files of interest. Executables
  2579.       are free; source code for a small fee. gmuvax2.gmu.edu:/pub/nn
  2580.  
  2581.       NeuralShell Availible by anonymous ftp from quanta.eng.ohio-state.edu
  2582.       [128.146.35.1] in the directory pub/NeuralShell/ as the file
  2583.       NeuralShell.tar.
  2584.  
  2585.       CONDELA A neural network definition language.
  2586.       tut.cis.ohio-state.edu:/pub/condela
  2587.  
  2588.       ROCHESTER CONNECTIONIST SIMULATOR Available from
  2589.       cs.rochester.edu:pub/simulator [192.5.53.209]. Includes a backprop
  2590.       package and an X11/SunView interface.
  2591.  
  2592.       UCLA-SFINX retina.cs.ucla.edu:pub/sfinx_v2.0.tar.Z [131.179.16.6]
  2593.       Username sfinxftp, password joshua. Contact sfinx@retina.cs.ucla.edu
  2594.       for more information.
  2595.  
  2596.       XERION A neural network simulator from Drew van Camp at the
  2597.       University of Toronto. It provides a library of routines for building
  2598.       networks and graphically displaying them. Written in C and uses the X
  2599.       window system for graphics. Example simulators include Back
  2600.       Propagation, Recurrent Back Propagation, Boltzmann Machine, Mean
  2601.       Field Theory, Free Energy Manipulation, Kohonnen Net, and Hard and
  2602.       Soft Competitive Learning. Xerion runs on SGI Personal Iris, SGI 4d,
  2603.       Sun3 (SunOS), Sun4 (SunOS). Available by anonymous ftp from
  2604.       ai.toronto.edu:/pub/xerion. See the file /pub/xerion.README for more
  2605.       information. To be added to the mailing list, send mail to
  2606.       xerion-request@ai.toronto.edu. Bugs should be reported to
  2607.       xerion-bugs@ai.toronto.edu. Complaints, suggestions or comments may
  2608.       be sent to xerion@ai.toronto.edu.
  2609.  
  2610.       SNNS (Stuttgart Neural Network Simulator) is a software simulator for
  2611.       neural networks on Unix workstations developed at the Institute for
  2612.       Parallel and Distributed High Performance Systems (IPVR) at the
  2613.       University of Stuttgart. The SNNS simulator contains a simultor
  2614.       kernel written in C and a 2D/3D graphical user interface running
  2615.       under X11R4 or X11R5. It runs under Sun Sparc (SLC, ELC, SS2, GX,
  2616.       GS), DECstation (2100, 3100, 5000/200), IBM RS 6000, HP 9000, and
  2617.       IBM-PC (386/486). SNNS includes the following learning procedures:
  2618.       backpropagation (online, batch, with momentum and flat spot elimin.),
  2619.       counterpropagation, quickprop, backpercolation 1, and generalized
  2620.       radial basis functions (RBF). (Version 2.2 will include recurrent
  2621.       ART1, ART2 and ARTMAP, Cascade Correlation and Recurrent Cascade
  2622.       Correlation. Time delay networks (TDNN), Elman networks and some
  2623.       other network paradigms have already been implemented but are
  2624.       scheduled for a later release.) The SNNS simulator can be obtained
  2625.       via anonymous ftp from
  2626.       ifi.informatik.uni-stuttgart.de:/pub/SNNS/SNNSv2.1.tar.Z
  2627.       [129.69.211.1]. The PostScript version of the user manual can be
  2628.       obtained as file SNNSv2.1.Manual.ps.Z.  To be added to the mailing
  2629.       list, send a message to listserv@informatik.uni-stuttgart.de with
  2630.       "subscribe snns <Your Full Name>" in the message body. Submissions
  2631.       may be sent to snns@informatik.uni-stuttgart.de. For further
  2632.       information, contact Andreas Zell,
  2633.       <zell@informatik.uni-stuttgart.de>.
  2634.  
  2635.       NEOCOGNITRON SIMULATOR The Neocognitron Simulator is written in C and
  2636.       is available by anonymous ftp from
  2637.       tamsun.tamu.edu:/pub/neocognitron.Z.tar [128.194.15.32]
  2638.       unix.hensa.ac.uk:/pub/uunet/pub/ai/neural/neocognitron.tar.Z
  2639.       [129.12.21.7]
  2640.  
  2641.       PLANET (aka SunNet) Simulator that runs under X Windows. Written by
  2642.       Yoshiro Miyata <miyata@sccs.chukyo-u.ac.jp> of Chukyo University,
  2643.       Japan. Available by anonymous ftp from
  2644.       tutserver.tut.ac.jp:pub/misc/PlaNet5.7.tar.Z  [133.15.240.3]
  2645.       boulder.colorado.edu:pub/generic-sources/PlaNet5.7.tar.Z
  2646.       [128.138.240.1] Includes documentation.
  2647.  
  2648.       LVQ_PAK and SOM_PAK LVQ_PAK (Learning Vector Quantization) and
  2649.       SOM_PAK (Self-Organizing Maps) were written by the LVQ/SOM
  2650.       Programming Team of the Helsinki University of Technology, Laboratory
  2651.       of Computer and Information Science, Rakentajanaukio 2 C, SF-02150
  2652.       Espoo, FINLAND. The PAKs run in Unix and MS-DOS systems. Available by
  2653.       anonymous ftp from cochlea.hut.fi [130.233.168.48] in the directories
  2654.       /pub/lvq_pak/ and /pub/som_pak/.
  2655.  
  2656.       MACTIVATION bruno.cs.colorado.edu:/pub/cs/misc/   [128.138.243.151]
  2657.       as the file Mactivation-3.3.sea.hqx.
  2658.  
  2659.       DartNet A Macintosh-based Neural Network Simulator with a nice
  2660.       graphical interface. Available by anonymous ftp from
  2661.       dartvax.dartmouth.edu:/pub/mac/dartnet.sit.hqx [129.170.16.4] or by
  2662.       email from bharucha@dartmouth.edu.  New network architectures and
  2663.       learning algorithms can be added to the system by writing small
  2664.       XCMD-like CODE resources called nDEF's ("Network Definitions").  For
  2665.       more information, send email to Sean P. Nolan,
  2666.       <sean@coos.dartmouth.edu>.
  2667.  
  2668.    Probabilistic Reasoning:
  2669.  
  2670.       BELIEF   -- ftp.stat.washington.edu (128.95.17.34) Contact: Russell
  2671.                   Almond <almond@stat.washington.edu> <almond@statsci.com>
  2672.  
  2673.       IDEAL    -- Contact: srinivas@rpal.rockwell.com Bayesian networks
  2674.  
  2675.    Planning:
  2676.  
  2677.       NONLIN   -- cs.umd.edu:/pub/nonlin (128.8.128.8) Contact:
  2678.                   nonlin-users-request@cs.umd.edu nonlin-bugs@cs.umd.edu
  2679.  
  2680.       ABTWEAK  -- jupiter.drev.dnd.ca:pub/steve/Abtweak Contact: Steven
  2681.                   Woods <woods@drev.dnd.ca>
  2682.  
  2683.       RHETORICAL -- cs.rochester.edu:/pub/knowledge-tools Contact: Brad
  2684.                   Miller <miller@cs.rochester.edu>
  2685.  
  2686.       SNLP     -- cs.washington.edu:/pub/snlp.tar.Z Contact:
  2687.                   weld@cs.washington.edu Nonlinear planner.
  2688.  
  2689.       IDM      -- sauquoit.gsfc.nasa.gov (128.183.101.29) Contact:
  2690.                   idm-users@chelmsford.gsfc.nasa.gov STRIPS-like planning.
  2691.  
  2692.       PRODIGY  -- Contact: prodigy@cs.cmu.edu Integrated Planning and
  2693.                   Learning System
  2694.  
  2695.  
  2696.       SOAR     -- ftp.cs.cmu.edu:/afs/cs.cmu.edu/project/soar/5.2/2/public/
  2697.                   Contact: soar-request@cs.cmu.edu Integrated Agent
  2698.                   Architecture
  2699.  
  2700.       MATS     -- Contact: kautz@research.att.com Temporal constraints
  2701.  
  2702.    Qualitative Reasoning:
  2703.  
  2704.       QSIM     -- cs.utexas.edu:/pub/qsim Contact: Ben Kuipers
  2705.                   <kuipers@cs.utexas.edu>
  2706.  
  2707.    Robotics (Planning Testbeds and Simulators):
  2708.  
  2709.       TILEWORLD -- cs.washington.edu:new-tileworld.tar.Z Planning testbed
  2710.  
  2711.       The ARS MAGNA abstract robot simular provides an abstract world in
  2712.       which a planner controls a mobile robot. This abstract world is more
  2713.       realistic than typical blocks worlds, in which micro-world
  2714.       simplifying assumptions do not hold. Experiments may be controlled by
  2715.       varying global world parameters, such as perceptual noise, as well as
  2716.       building specific environments in order to exercise particular
  2717.       planner features. The world is also extensible to allow new
  2718.       experimental designs that were not thought of originally. The
  2719.       simulator also includes a simple graphical user-interface which uses
  2720.       the CLX interface to the X window system. ARS MAGNA can be obtained
  2721.       by anonymous ftp from ftp.cs.yale.edu, as ars-magna.tar.Z in the
  2722.       pub/nisp directory. Installation instructions are in the file
  2723.       Installation.readme. The simulator is written in Nisp, a
  2724.       macro-package for Common Lisp. Nisp can be retrieved in the same way
  2725.       as the simulator. Version 1.0 of the ARS MAGNA simulator is
  2726.       documented in Yale Technical Report YALEU/DCS/RR #928, "ARS MAGNA:
  2727.       The Abstract Robot Simulator". This report is available in the
  2728.       distribution as a PostScript file. Comments should be directed to
  2729.       Sean Philip Engelson <engelson@cs.yale.edu>.
  2730.  
  2731.       Simderella is a robot simulator consisting of three programs: CONNEL
  2732.       (the controller), SIMMEL (the robot simulator), and BEMMEL (the
  2733.       X-windows oriented graphics back-end). SIMMEL performs a few matrix
  2734.       multiplications, based on the Denavit Hartenberg method, calculates
  2735.       velocities with the Newton-Euler scheme, and communicates with the
  2736.       other two programs.  BEMMEL only displays the robot.  CONNEL is the
  2737.       controller, which must be designed by the user (in the distributed
  2738.       version, CONNEL is a simple inverse kinematics routine.)  The
  2739.       programs use Unix sockets for communication, so you must have
  2740.       sockets, but you can run the programs on different machines.  The
  2741.       software is available by anonymous ftp from
  2742.       galba.mbfys.kun.nl:pub/neuro-software/pd/ [131.174.82.73] as the file
  2743.       simderella.1.0.tar.Z The software has been compiled using gcc on
  2744.       SunOS running under X11R4/5 on Sun3, Sun4, Sun Sparc 1, 2, and 10,
  2745.       and Silicon Graphics architectures. For more information, send email
  2746.       to Patrick van der Smagt, <smagt@fwi.uva.nl>.
  2747.  
  2748.    Simulated Annealing:
  2749.  
  2750.       VFSR (Very Fast Simulated Reannealing) is a powerful global
  2751.       optimization C-code algorithm especially useful for nonlinear and/or
  2752.       stochastic systems. Most current copies usually can be obtained by
  2753.       anonymous ftp from ftp.uu.net:tmp/vfsr.Z. Older versions can be found
  2754.       in the Netlib archive (research.att.com:opt/, logging in as netlib),
  2755.       the Statlib archive (lib.stat.cmu.edu, logging in as statlib), the
  2756.       UMIACS archive (ftp.umiacs.umd.edu:pub/ingber), and the UTSA archive
  2757.       (ringer.cs.utsa.edu:/pub/rosen).  The authors have (p)reprints
  2758.       related to VFSR in their archives: Lester Ingber has a review
  2759.       article, sarev.ps.Z, in the UMIACS archive (and on uunet in /tmp),
  2760.       and Bruce Rosen has a comparison study, "Function Optimization based
  2761.       on Advanced Simulated Annealing", which is available in the UTSA
  2762.       archive as the file rosen.advsim.ps.Z. Copies of the code are also
  2763.       available by email from the author, Lester Ingber
  2764.       <ingber@alumni.caltech.edu>.
  2765.  
  2766.  
  2767.    Theorem Proving/Automated Reasoning:
  2768.  
  2769.       Otter         -- info.mcs.anl.gov:pub/Otter/Otter-2.2/otter22.tar.Z
  2770.  
  2771.       Isabelle -- ftp.cl.cam.ac.uk:ml/ [128.232.0.56]
  2772.                   ftp.informatik.tu-muenchen.de:lehrstuhl/nipkow/
  2773.                   [131.159.0.110] Relevant files include: intro.dvi.Z
  2774.                   "Introduction to Isabelle" ref.dvi.Z     "The Isabelle
  2775.                   Reference Manual" logics.dvi.Z  "Isabelle's
  2776.                   Object-Logics" 92.tar.Z      Isabelle-92 distribution
  2777.                   directory Contact: Larry.Paulson@cl.cam.ac.uk
  2778.                   Tobias.Nipkow@informatik.tu-muenchen.de
  2779.  
  2780.       MVL      -- t.stanford.edu:/mvl/mvl.tar.Z Contact:
  2781.                   ginsberg@t.stanford.edu Multi-valued logics
  2782.  
  2783.       Boyer-Moore -- cli.com:pub/nqthm/nqthm.tar.Z
  2784.                      rascal.ics.utexas.edu:/pub/nqthm   128.83.138.20
  2785.                      Contact: kaufman@cli.com
  2786.  
  2787. Miscellaneous:
  2788.  
  2789.    University of Toronto: ftp   -- ftp.cs.toronto.edu:/pub/ailist
  2790.  
  2791.       Archives of ailist mailing list, defunct as of January 19, 1990
  2792.  
  2793.    PAIL (Portable AI Lab) ftp   -- pobox.cscs.ch:/pub/ai/pail-2.1/
  2794.       [148.187.10.13] contact: Mike Rosner and Dean Allemang
  2795.       {dean,mike}@idsia.ch
  2796.  
  2797. The Artificial Intelligence CD-ROM (Volume One, 1992) is available from
  2798. Network Cybernetics Corporation for $129.00 per copy (plus $5 shipping
  2799. domestic, $10 shipping international). The AI CD-ROM is an ISO-9660 format
  2800. disk usable on any computer system, and contain a variety of public domain,
  2801. shareware, and other software of special interest to the AI community. The
  2802. disk contains source code, executable programs, demonstration versions of
  2803. commercial programs, tutorials and other files for a variety of operating
  2804. systems. Among the supported operating systems are MS-DOS, OS/2, Mac,
  2805. Amiga, and Unix. Among the items included are CLIPS v5.1 and NETS, courtesy
  2806. of COSMIC, the collected source code from AIExpert magazine from the
  2807. premier issue in June of 1986 to the present, and complete transcriptions
  2808. of the first annual Loebner Prize competition, which took place at the
  2809. Boston Computer Museum. It also includes examples many different kinds of
  2810. neural networks, genetic algorithms, artificial life simulators, natural
  2811. language software, public domain and shareware compilers for a wide range
  2812. of languages such as Lisp, Xlisp, Scheme, XScheme, Smalltalk, Prolog, ICON,
  2813. SNOBOL, and many others.  Complete collections of the Neural Digest,
  2814. Genetic Algorithms Digest, and Vision List Digest are included. Network
  2815. Cybernetics Corporation intends to release annual revisions to the AI
  2816. CD-ROM to keep it up to date with current developments in the field. For
  2817. more information, write to Network Cybernetics Corporation, 4201 Wingren
  2818. Road, Suite 202, Irving, Texas 75062-2763, call 214-650-2002, fax
  2819. 214-650-1929, or send email to ai-cdrom@ncc.com or steve.rainwater@ncc.com
  2820. (Steve Rainwater).
  2821.  
  2822. ---------------------------------------------------------------- Subject:
  2823. [4-3]  AI Bibliographies available by FTP
  2824.  
  2825. The Computer Science Department at the University of Saarbruecken, Germany,
  2826. maintains a large bibliographic database of articles pertaining to the
  2827. field of Artificial Intelligence. Currently the database contains more than
  2828. 25,000 references, which can be retrieved by electronic mail from the LIDO
  2829. mailserver at lido@cs.uni-sb.de. Send a mail message with subject line
  2830. "lidosearch help info" to get instructions on using the mail server. A
  2831. variety of queries based on author names, title and year of publication are
  2832. possible. The references can be provided in BibTeX or Refer formats. The
  2833. entire bibliographic database can be obtained for a fee by ftp or on tape.
  2834. Questions may be directed to bib-1@cs.uni-sb.de.
  2835.  
  2836. A variety of AI-related bibliographies are located on nexus.yorku.ca in the
  2837. directory /pub/bibliographies.
  2838.  
  2839. For information on a fairly complete bibliography of computational
  2840. linguistics and natural language processing work from the 1980s, send mail
  2841. to clbib@csli.stanford.edu with the subject HELP.
  2842.  
  2843. Stanford University (SUMEX-AIM) has a large BibTeX bibliography of
  2844. Artificial Intelligence papers and technical reports. Available by
  2845. anonymous ftp from aim.stanford.edu:/pub/ai{1,2,3}.bib
  2846.  
  2847. A BibTeX database of references addressing neuro-fuzzy issues can be
  2848. obtained by anonymous ftp from ftp.tu-bs.de (134.169.34.15) in the
  2849. directory local/papers as the (ascii) file fuzzy-nn.bib.
  2850.  
  2851. ---------------------------------------------------------------- Subject:
  2852. [4-4] Technical Reports available by FTP
  2853.  
  2854. This section lists the anonymous ftp sites for technical reports from
  2855. several universities and other organizations. Some of the sites provide
  2856. only an online catalog of technical reports, while the rest make the actual
  2857. reports available online. The email address listed is that of the
  2858. appropriate person to contact with questions about ordering technical
  2859. reports.
  2860.  
  2861. When ftping compressed .Z files, remember to set the transfer type to
  2862. binary first, using the command ftp> binary
  2863.  
  2864. Another general location for technical reports from several universities is
  2865. available as wuarchive.wustl.edu:/doc/techreports/.
  2866.  
  2867. The newsgroup comp.doc.techreports is devoted to distributing lists of tech
  2868. reports and their abstracts.
  2869.  
  2870.    MIT Artificial Intelligence Laboratory: ftp   --
  2871.       ftp.ai.mit.edu:pub/publications/ email -- publications@ai.mit.edu
  2872.  
  2873.       A full catalog of MIT AI Lab technical reports (and a listing of
  2874.       recent
  2875.  
  2876.       updates) may be obtained from the above location, by writing to
  2877.       Publications, Room NE43-818, M.I.T. Artificial Intelligence
  2878.       Laboratory, 545 Technology Square, Cambridge, MA 02139, USA, or by
  2879.       calling 1-617-253-6773. The catalog lists the technical reports ("AI
  2880.       Memos") with a short abstract and their current prices. There is also
  2881.       a charge for shipping. Technical reports are NOT available by ftp.
  2882.  
  2883.       The only technical report currently available online is Sandiway
  2884.       Fong's 1991 PhD thesis, ``The Computational Properties of
  2885.       Principle-Based Grammatical Theories,'' which may be found in the
  2886.       directory pub/sandiway/.
  2887.  
  2888.    CMU School of Computer Science: ftp   -- reports.adm.cs.cmu.edu email --
  2889.       Technical.Reports@cs.cmu.edu
  2890.  
  2891.    CMU Software Engineering Institute: ftp   --
  2892.       ftp.sei.cmu.edu:/pub/documents email --  bjz@sei.cmu.edu
  2893.  
  2894.    Yale: ftp   --  dept.cs.yale.edu:/pub/TR/
  2895.  
  2896.    University of Washington CSE Tech Reports: ftp   --
  2897.       june.cs.washington.edu:/tr email --  tr-request@cs.washington.edu
  2898.  
  2899.    ================
  2900.  
  2901.    AT&T Bell Laboratories: ftp   -- research.att.com:/netlib/research/cstr
  2902.  
  2903.       bib.Z contains short bibliography, including all the technical
  2904.       reports contained in this directory.
  2905.  
  2906.       ftp   -- research.att.com:/dist/ai
  2907.  
  2908.    Boston University: ftp   --  cs.bu.edu:techreports/ email --
  2909.       techreports@cs.bu.edu
  2910.  
  2911.    Brown University: ftp   --  wilma.cs.brown.edu:techreports/ email --
  2912.       techreports@cs.brown.edu
  2913.  
  2914.    Columbia University: ftp   --  cs.columbia.edu:/pub/reports email --
  2915.       tech-reports@cs.columbia.edu
  2916.  
  2917.    DEC Cambridge Research Lab: ftp   --
  2918.       crl.dec.com:/pub/DEC/CRL/{abstracts,tech-reports}
  2919.  
  2920.    DEC Paris Research Lab: email --  doc-server@prl.dec.com Put commands in
  2921.       Subject: line of the message. To get a list of articles, use send
  2922.       index articles To get a list of tech reports, use send index reports
  2923.  
  2924.    DFKI: ftp   -- duck.dfki.uni-sb.de:/pub/papers email -- Martin Henz
  2925.       (henz@dfki.uni-sb.de)
  2926.  
  2927.    Duke University: ftp   --  cs.duke.edu:/dist/{papers,theses} email --
  2928.       techreport@cs.duke.edu
  2929.  
  2930.    Edinburgh: A list of available reports can be sent via email. Send
  2931.       requests for information about reports from the Center for Cognitive
  2932.       Science to cogsci%ed.ac.uk@nsfnet-relay.ac.uk, and from the Human
  2933.       Communication Research Center to HCRC%ed.ac.uk@nsfnet-relay.ac.uk.
  2934.  
  2935.    Electrotechnical Laboratory, Japan: Reports from the Cooperative
  2936.       Architecture project (half AI, half software engineering). ftp   --
  2937.       etlport.etl.go.jp:pub/kyocho/Papers [192.31.197.99] See file
  2938.       Index.English. email -- Hideyuki Nakashima <nakashim@etl.go.jp>.
  2939.  
  2940.    Georgia Tech College of Computing, AI Group: ftp   --
  2941.       ftp.cc.gatech.edu:pub/ai (130.207.3.245) email -- Professor Ashwin
  2942.       Ram <ashwin@cc.gatech.edu>
  2943.  
  2944.    Illinois: email -- Erna Amerman <erna@uiuc.edu>
  2945.  
  2946.    Indiana: ftp   -- cogsci.indiana.edu:pub         [129.79.238.12] ftp
  2947.       -- cs.indiana.edu:pub/techreports [129.79.254.191]
  2948.  
  2949.    Institute for Learning Sciences at Northwestern University: ftp   --
  2950.       ftp.ils.nwu.edu:/pub/papers/
  2951.  
  2952.    New York University (NYU): ftp   --  cs.nyu.edu:/pub/tech-reports
  2953.  
  2954.    OGI: ftp   --  cse.ogi.edu:/pub/tech-reports email --
  2955.       csedept@cse.ogi.edu
  2956.  
  2957.    Ohio State University, Laboratory for AI Research ftp   --
  2958.       nervous.cis.ohio-state.edu:/pub/papers email --
  2959.       lair-librarian@cis.ohio-state.edu
  2960.  
  2961.    OSU Neuroprose: ftp   -- archive.cis.ohio-state.edu:/pub/neuroprose
  2962.       (128.146.8.52)
  2963.  
  2964.       This directory contains technical reports as a public service to the
  2965.       connectionist and neural network scientific community which has an
  2966.       organized mailing list (for info: connectionists-request@cs.cmu.edu)
  2967.  
  2968.    Stanford: ftp   -- elib.stanford.edu:/cs
  2969.  
  2970.       Very spotty collection.
  2971.  
  2972.    SUNY at Stony Brook: ftp   -- sbcs.sunysb.edu:/pub/TechReports
  2973.       @DATAPHONE@      email -- rick@cs.sunysb.edu or stark@cs.sunysb.edu
  2974.  
  2975.       The /pub/sunysb directory contains the SB-Prolog implementation of
  2976.       the Prolog language. Contact warren@sbcs.sunysb.edu for more
  2977.       information.
  2978.  
  2979.    Thinking Machines: ftp   -- ftp.think.com:think/techreport.list
  2980.  
  2981.       This file contains a list of Thinking Machines technical reports.
  2982.       Orders may be placed by email (limit 5) to t-rex@think.com, or by US
  2983.       Mail to Thinking Machines Corporation, Attn: Technical reports, 245
  2984.       First Street, Cambridge, MA 01241. In addition, the directories
  2985.       cm/starlisp and cm/starlogo contain code for the *Lisp and *Logo
  2986.       simulators.
  2987.  
  2988.    Tulane University: ftp   -- rex.cs.tulane.edu:pub/tech/  [129.81.132.1]
  2989.  
  2990.    University of Arizona: ftp   -- cs.arizona.edu:reports/ email --
  2991.       tr_libr@cs.arizona.edu
  2992.  
  2993.       The directory /japan/kahaner.reports contains reports on AI in Japan,
  2994.       among other things, written by Dr. David Kahaner, a numerical analyst
  2995.       on sabbatical to the Office of Naval Research-Asia (ONR Asia) in
  2996.       Tokyo from NIST. The reports are not written in any sort of official
  2997.       capacity, but are quite interesting.
  2998.  
  2999.    University of California/Santa Cruz: ftp   --
  3000.       ftp.cse.ucsc.edu:/pub/{bib,tr} email -- jean@cs.ucsc.edu
  3001.  
  3002.    University of Colorado: ftp   --
  3003.       ftp.cs.colorado.edu:/pub/cs/techreports
  3004.  
  3005.    University of Florida: ftp   -- bikini.cis.ufl.edu:/cis/tech-reports
  3006.  
  3007.    University of Illinois at Urbana: ftp   -- a.cs.uiuc.edu:/pub/dcs email
  3008.       -- erna@a.cs.uiuc.edu
  3009.  
  3010.    University of Indiana, Center for Research on Concepts and Cognition:
  3011.       ftp   --  cogsci.indiana.edu:pub/ email --  helga@cogsci.indiana.edu
  3012.  
  3013.    University of Kentucky: ftp   --
  3014.       ftp.ms.uky.edu:ftp/pub/tech-reports/UK/cs/
  3015.  
  3016.    University of Massachusetts at Amherst: email --  techrept@cs.umass.edu
  3017.  
  3018.    University of Michigan: ftp   -- z.eecs.umich.edu:/techreports
  3019.  
  3020.    University of North Carolina: ftp   --
  3021.       ftp.cs.unc.edu:/pub/technical-reports/
  3022.  
  3023.    University of Pennsylvania: email -- publications@upenn.edu
  3024.  
  3025.    USC/Information Sciences Institute: email -- Sheila Coyazo
  3026.       <scoyazo@isi.edu> is the contact.
  3027.  
  3028.    University of Toronto: ftp   -- ftp.cs.toronto.edu:/pub/reports email --
  3029.       tech-reports@cs.toronto.edu
  3030.  
  3031.    University of Virginia:
  3032.  
  3033.       ftp   -- uvacs.cs.virginia.edu:/pub/techreports/cs
  3034.  
  3035.    University of Wisconsin: ftp   -- ftp.cs.wisc.edu:/tech-reports email --
  3036.       tech-reports-archive@cs.wisc.edu
  3037.  
  3038.  
  3039. Some AI authors have set up repositories of their own papers:
  3040.  
  3041.    Matthew Ginsberg: t.stanford.edu:/u/ftp/papers
  3042.  
  3043. ---------------------------------------------------------------- Subject:
  3044. [4-5]  Where can I get a machine readable dictionary, thesaurus, and other
  3045. text corpora?
  3046.  
  3047. Free:
  3048.  
  3049.    Roget's 1911 Thesaurus is available by anonymous FTP from the Consortium
  3050.    for Lexical Research (clr.nmsu.edu, [128.123.1.12]). The pathname is
  3051.    /pub/lexica/thesauri/roget-1911. It is also available from
  3052.    src.doc.ic.ac.uk:/literary/collections/project_gutenberg/roget11.txt.Z
  3053.    Project Gutenberg also has Roget's 1911 Thesaurus. The Project Gutenberg
  3054.    archive is at mrcnext.cso.uiuc.edu. For more information, write to
  3055.    Michael S. Hart, Professor of Electronic Text, Executive Director of
  3056.    Project Gutenberg Etext, Illinois Benedictine College, Lisle, IL 60532
  3057.    or send email to hart@vmd.cso.uiuc.edu.
  3058.  
  3059.    For people without FTP, Austin Code Works sells floppy disks containing
  3060.    Roget's 1911 Thesaurus for $40.00. This money helps support the
  3061.    production of other useful texts, such as the 1913 Webster's dictionary.
  3062.  
  3063.    The Open Book Initiative maintains a text repository on world.std.com (a
  3064.    public access UNIX system, 617-739-WRLD). For more information, send
  3065.    email to obi@world.std.com, write to Software Tool & Die, 1330 Beacon
  3066.    Street, Brookline, MA 02146, or call 617-739-0202.
  3067.  
  3068.    The CHILDES project at Carnegie Mellon University has a lot of data of
  3069.    children speaking to adults, as well as the adult written and adult
  3070.    spoken corpora from the CORNELL project.  Contact Brian MacWhinney
  3071.    <brian@andrew.cmu.edu> for more information.
  3072.  
  3073.    The Association for Computational Linguistics (ACL) has a Data
  3074.    Collection Initiative. For more information, contact Donald Walker at
  3075.    Bellcore, walker@flash.bellcore.com.
  3076.  
  3077.    Two lists of common female first names (4967 names) and male first names
  3078.    (2924 names) are available for anonymous ftp from ftp.cs.cmu.edu in the
  3079.    directory /afs/cs.cmu.edu/user/mkant/Public/Corpii/Names/. Read the file
  3080.    README first. [Note that you must cd to this directory in one atomic
  3081.    operation, as superior directories are protected during an anonymous
  3082.    ftp.] Send mail to mkant@cs.cmu.edu for more information.
  3083.  
  3084.    A list of 110,000 English words (one per line, in ASCII) is available in
  3085.    the PD1:<MSDOS.LINGUISTICS> directory on SIMTEL20 as the files
  3086.    WORDS1.ZIP, WORDS2.ZIP, WORDS3.ZIP, and WORDS4.ZIP. Although the list is
  3087.    in MS-DOS files, it can easily be used on other machines (but first
  3088.    you'll have to unzip the files on a DOS machine). The list includes
  3089.    inflected forms of the words, such as plural nouns and the -s, -ed, and
  3090.    -ing forms of verbs; thus the number of lexical stems in the list is
  3091.    considerably smaller than the total number of word forms. These files
  3092.    are available via FTP from WSMR-SIMTEL20.ARMY.MIL [192.88.110.20].
  3093.    SIMTEL20 files are mirrored on wuarchive.wustl.edu.
  3094.  
  3095.    The Collins English Dictionary encoded as a Prolog fact base is
  3096.    available from the by anonymous ftp from black.ox.ac.uk:ota/dicts/1192/
  3097.  
  3098. Commercial:
  3099.  
  3100.    Illumind publishes the Moby Thesaurus (25,000 roots/1.2 million
  3101.    synonyms), Moby Words (560,000 entries), Moby Hyphenator (155,000
  3102.    entries), and the Moby Part-of-Speech (214,000 entries) and Moby
  3103.    Pronunciator (167,000 entries) lexical databases. All databases are
  3104.    supplied in pure ASCII, royalty-free, in both Macintosh and MS-DOS disk
  3105.    formats (also in .Z file formats). Both commercial (to resell derived
  3106.    structures as part of commercial applications) and educational/research
  3107.    licenses are available. For more information, write to Illumind, Attn:
  3108.    Grady Ward, 3449 Martha Court, Arcata, CA 95521, call 707-826-7715, or
  3109.    send email to grady@btr.com.
  3110.  
  3111.    The Oxford Text Archive has hundreds of online texts in a wide variety
  3112.    of languages, including a few dictionaries (the OED, Collins, etc.). The
  3113.    Lancaster-Oslo-Bergen (LOB), Brown, and London-Lund corpii are also
  3114.    available from them.  For more information, write to Oxford Electronic
  3115.    Publishing, Oxford University Press, 200 Madison Avenue, New York, NY
  3116.    10016, call 212-889-0206, or send mail to archive@vax.oxford.ac.uk.
  3117.    (Their contact information in England is Oxford Text Archive, Oxford
  3118.    University Computing Service, 13 Banbury Road, Oxford OX2 6NN, UK, +44
  3119.    (865) 273238.)
  3120.  
  3121. Mailing Lists:
  3122.  
  3123.    CORPORA is a mailing list for Text Corpora. It welcomes information and
  3124.    questions about text corpora such as availability, aspects of compiling
  3125.    and using corpora, software, tagging, parsing, and bibliography. To be
  3126.    added to the list, send a message to corpora-request@x400.hd.uib.no.
  3127.    Contributions should be sent to corpora@x400.hd.uib.no.
  3128.  
  3129. ---------------------------------------------------------------- Subject:
  3130. [4-6]  List of Smalltalk implementations.
  3131.  
  3132.    Little Smalltalk -- Tim Budd's version of Smalltalk cs.orst.edu:
  3133.    /pub/budd/small.v3.tar
  3134.  
  3135.    GNU Smalltalk prep.ai.mit.edu:/pub/gnu/smalltalk-1.1.1.tar.Z
  3136.  
  3137. ----------------------------------------------------------------
  3138.